"As I understand, you have no problem with the customization for editors,
but have a problem with the customization for the general UI. Is that
correct?"
You are correct. Currently I have the editor with a dark theme (Spacemacs),
but the DrRacket UI itself is light, even though I set it to "Dar
If you see something funny, please feel free to send me a screenshot so I
can really get what's going on.
Thanks!
Robby
On Thu, Jan 16, 2020 at 10:25 AM Hendrik Boom
wrote:
> On Thu, Jan 16, 2020 at 07:14:11AM -0600, Robby Findler wrote:
> > Oh, that part is up to your operating system. Depend
On Thu, Jan 16, 2020 at 07:14:11AM -0600, Robby Findler wrote:
> Oh, that part is up to your operating system. Depending on which
> flavor of linux you can get different plugin-type thingies installed
> to get dark mode for those bits, I believe. I'm not too familiar with
> how all that works, but
Oh, that part is up to your operating system. Depending on which
flavor of linux you can get different plugin-type thingies installed
to get dark mode for those bits, I believe. I'm not too familiar with
how all that works, but the background of the panels is a place where
the WM is deciding what t
Here's what I did:
1. Download the installer for x86_64 linux.
2. Move (or copy) the downloaded .sh file _into_ penguin through Files App.
3. Allow the installer to run by using `chmod +x FILE` (or `chmod 755 FILE`)
* Chromrebook does not allow eXecutable permission
for files outsi
5 matches
Mail list logo