mailing-list for TeXmacs Users

[TeXmacs <address@hidden>]

Thanks Frank and Luigi, I think that I found the problem.
Revision 13227 contains a fix and so will version 1.99.17.

Best wishes, --Joris


On Mon, Nov 30, 2020 at 06:42:46PM +0100, Luigi Amedeo Bianchi wrote:
> 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
>