Scheme] (get-retina-zoom)
2
Scheme] (get-window-zoom-factor)
0.833333333333333
Scheme] (get-preference "retina-zoom")
"on"
Scheme] (get-retina-zoom)Best wishes,
1
Scheme] (get-window-zoom-factor)
0.833333333333333
Scheme] (get-preference "retina-zoom")
"off
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.