drracket icon indicating copy to clipboard operation
drracket copied to clipboard

GUI issues in Pantheon

Open jasonphi opened this issue 8 years ago • 5 comments

Using Pantheon DE, a number of Dr Racket windows are broken. The most significant window being the "Choose Language" dialog, making Dr Racket very difficult to use. Another user had a similar experience on Reddit (though I could not find any other issues filed)

drracket splash

drracket choose language

jasonphi avatar Jun 26 '17 01:06 jasonphi

I have the same problem.

This can be fixed, by disabling GTK client side decoration, e.g. opening DrRacket, by doing

GTK_CSD=""
drracket

in a terminal or a start script.

But this workaround is not really user friendly and the problem should still be considered a bug.

redtrumpet avatar Sep 14 '17 21:09 redtrumpet

Is Pantheon the window manager on ArchLinux?

spdegabrielle avatar Nov 23 '17 11:11 spdegabrielle

Hi @jasonphi / @redtrumpet First let me start by saying I'm not part of the racket team so I'm not speaking on their behalf. If this is an important issue for you that you would like to resolve quickly my suggestion is to look through the racket github repository for the scripts that build the start script for arch linux, and submit a pull request to add the fix that @redtrumpet identified GTK_CSD=""

HTH Stephen

spdegabrielle avatar Nov 23 '17 14:11 spdegabrielle

@spdegabrielle

Is Pantheon the window manager on ArchLinux?

I don't think so, it's the window manager / desktop environment of elementary OS. I'm no Arch expert, but if I understand Arch correctly, it does not have a canonical window manager, but you can install whatever you like.

I'm in no need for a quick fix, as I don't really use DrRacket. I just wanted to try installing it (used it a few years ago in school), and run into this issue. I thought it was worth reporting my fix.

I also don't know if GTK_CSD="" breaks some things on other systems / desktop environments, so it might not be safe changing the build scripts? But I'm just guessing...

redtrumpet avatar Nov 26 '17 20:11 redtrumpet

This issue still exists and I would love to see if this gets fixed :/

I'm not even able to close the application :( image

Nevertheless, I found a temp fix

https://elementaryos.stackexchange.com/a/25342/19705

rajkumaar23 avatar Jul 27 '20 04:07 rajkumaar23