-
-
Notifications
You must be signed in to change notification settings - Fork 93
New issue
Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.
By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.
Already on GitHub? Sign in to your account
Gdk issue with tooltips/arrows(?) #153
Comments
Probably related to bug #15405 on bugs.racket-lang.org which @david-christiansen documented also here: https://www.youtube.com/watch?v=a0Ogy_38xd0 |
Just had a segfault that seemed related to this (i.e. I moused over something, it started flashing quickly, then DrRacket crashed):
|
For anyone hitting this issue in a new Ubuntu (>= 17.10) install, changing the display server from Wayland back to Xorg should eliminate the issue. Steps:
|
As a quick workaround you don't have to switch session. Just run drracket with environment variable
|
In addition to @lavovaLampa suggestion: If you don't want to start DrRacket from command line, just copy the desktop file into your home
and modify the value of the
|
Steps to reproduce
Install Racket on Ubuntu 17.10 and open DrRacket.
Enter the following in the definitions window:
modulo
Instead of the arrow back to
#lang racket
and a tool tip appearing, the arrow appears and disapears in rapid succession, it seems like the window manager focuses and unfocuses on DrRacket each time this happens, and if you launched DrRacket from the terminal you see the following repeated each time the arrow/tool tip is drawn and disappears:This is especially troublesome when in a
#lang
that makes frequent use of tool tips (e.g. Typed Racket, etc).I have observed this with the 6.10.1 release and with a built-from-source install.
The text was updated successfully, but these errors were encountered: