mailing-list for TeXmacs Users

[Luigi Amedeo Bianchi <address@hidden>]

    Hi, you were right, at least in my case: going to View -> High
    resolution settings and removing the tick from "Double the zoom
    factor for TeXmacs documents" did the trick, now I can see the
    tooltips.
    Thanks a lot!
    lab

On 26/11/2020 09:37, 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 <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 <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 <address@hidden <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