First login?
Lost password?
 
 
 
mailing-list for TeXmacs Users

Text archives Help


Re: TeXmacs 1.99.16


Chronological Thread 
  • From: TeXmacs <address@hidden>
  • To: address@hidden
  • Subject: Re: TeXmacs 1.99.16
  • Date: Mon, 30 Nov 2020 19:04:47 +0100
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
>

Archive powered by MHonArc 2.6.19.

Top of page