mailing-list for TeXmacs Users

[Luigi Amedeo Bianchi <address@hidden>]

Ubuntu 20.04 deb package downloaded from texmacs webpage

Double enabled:
(get-retina-zoom)
2
(get-window-zoom-factor)
1.285140562249
(get-preference "retina-zoom")
"on"

Double disabled:
(get-retina-zoom)
1
(get-window-zoom-factor)
1.285140562249
(get-preference "retina-zoom")
"off"

Best,
lab




On 30/11/2020 18:28, TeXmacs wrote:
> 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