mailing-list for TeXmacs Users

[TeXmacs <address@hidden>]

Dear all,

I am digging into the HDPI problem that some of you experience with tooltips.
Would it be possible for someone who has this problem to start a Scheme 
session and
send me the output of the following commands:

    (get-retina-zoom)
    (get-window-zoom-factor)
    (get-preference "retina-zoom")

It would be great to also send me the output of these commands
after disabling "Double the zoom factor for TeXmacs documents"
in View -> High resolution settings.

Best wishes, --Joris



On Thu, Nov 26, 2020 at 09:37:35AM +0100, Massimiliano Gubinelli wrote:
>    This could be a clue... Have those machines an HiDPI window system? (Like
>    Retina on mac?)
>    Max
> 
>      On 26. Nov 2020, at 09:32, Frank <[1]address@hidden> wrote:
>      By the way, I tried that on Windows 10 (this is the first time that I
>      install TeXmacs on Windows). It's the same: a small dot is shown. Maybe
>      it might also have something to do with high resolution?
> 
>      Best wishes,
>      Frank
> 
>      On 11/25/20, Jeroen Wouters wrote:
> 
>        I get this on Fedora 33 too. I also get a tiny popups with
>        mouse-over-balloon.
>        If I insert text, no matter how big the font, I only get a balloon of
>        a few pixels. If I insert an image instead, I do see a tiny version 
> of
>        the image in the balloon.
>        Best wishes,
>        Jeroen
>        On Wed, 25 Nov, 2020 at 16:08, Frank <[2]address@hidden> wrote:
> 
>          Be careful: it might also be possible that required libraries /
>          packages are not properly recorded in the dependency of the source
>          package. If you see the small dot below the reference label, you 
> can
>          also have a try to switch to another workspace: you will see that
>          this small dot is still there until you hover your mouse on it. 
> That
>          is to say, it is indeed a very small tip, but still responsive to
>          your mouse actions. Best, Frank On 11/25/20, Massimiliano Gubinelli
>          wrote:
> 
>             I confirm that it seems to be a problem on Ubuntu. The tooltip
>          window does not show up (most likely is very small). I tried on
>          20.04 with the package provided on the website. Max
> 
>                 On 25. Nov 2020, at 13:42, Luigi Amedeo Bianchi
>          <[3]address@hidden <[4]mailto:address@hidden>>
>          wrote: Same here, does not seem to depend on the document template.
>          To be clear: I can use the smart referencing system "blind", and it
>          works fine. I just do not see the brown tooltip. Also, I haven't
>          tried restarting my system, yet. Could try that later today
> 
> References
> 
>    Visible links
>    1. mailto:address@hidden
>    2. mailto:address@hidden
>    3. mailto:address@hidden
>    4. mailto:address@hidden
> /usr/bin/xdg-open: line 402: htmlview: command not found
> /usr/bin/xdg-open: line 402: firefox: command not found
> /usr/bin/xdg-open: line 402: mozilla: command not found
> /usr/bin/xdg-open: line 402: netscape: command not found