[racket-users] Breaking semaphores

2020-01-17 Thread Jack Firth
The docs for semaphores say this: In general, it is impossible using only semaphore-wait to implement the > guarantee that either the semaphore is decremented or an exception is > raised, but not both. Racket therefore supplies semaphore-wait/enable-break > (see Semaphores), which does permit

Re: [racket-users] Re: Installing Drracket on linux penguin on Chromebook

2020-01-17 Thread Shu-Hung You
What's the result of `file /home/user/racket-tmp-install/bin/racket` and the result of `uname -a`? (In other words, what hardware are you using? Is it 32-bit or 64-bit, it is x86 or ARM? Which version of Racket did you download?) On Fri, Jan 17, 2020 at 12:21 PM William Dobias wrote: >

[racket-users] Re: Installing Drracket on linux penguin on Chromebook

2020-01-17 Thread William Dobias
Thank you: So I tried this (with basic troubleshooting, e.g., a couple times, with troubleshooting: restarted linux, chromebook; etc.) and it's not working: ``` Checking the integrity of the binary archive... ok. Unpacking into "/home/user/racket-tmp-install" (Ctrl+C to abort)... Done.

Re: [racket-users] DrRacket Dark Mode in Windows

2020-01-17 Thread Hendrik Boom
On Fri, Jan 17, 2020 at 07:12:13AM -0600, Robby Findler wrote: > (Sorry I seem to have missed some messages in this thread, but I see them > now. Thanks for the clarifications Sorawee!) > > It looks to me like like the lower, gui layer is communicating the fact > that we're in dark mode correctly

Re: [racket-users] DrRacket Dark Mode in Windows

2020-01-17 Thread Juan Carlos Olivo
Awesome! If there's anything I can do, please let me know. --JCO On Friday, January 17, 2020 at 7:12:32 AM UTC-6, Robby Findler wrote: > > (Sorry I seem to have missed some messages in this thread, but I see them > now. Thanks for the clarifications Sorawee!) > > It looks to me like like the

Re: [racket-users] DrRacket Dark Mode in Windows

2020-01-17 Thread Sorawee Porncharoenwase
> Which operating system do you use? And can you share a a screenshot? > In my understanding, Juan Carlos Olivo and Shawn Shawn have exactly the same problem. They use Windows 10 and switched to dark theme at the OS level, but the DrRacket UI still has the light theme. For the screenshot, see the

Re: [racket-users] DrRacket Dark Mode in Windows

2020-01-17 Thread Robby Findler
Which operating system do you use? And can you share a a screenshot? Robby On Thu, Jan 16, 2020 at 10:13 PM Juan Carlos Olivo wrote: > "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?" >