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 18:28:14 +0100
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