Re: [racket-users] racket/gui fn that returns width of O.S. toolbar?

2021-08-06 Thread James Platt
> In linux and I imagine on Windows and macOS, when there exists a vertical OS 
> toolbar the values returned by get-display-size and get-client-size are the 
> same and are insufficient.

The macOS version, at least, is draggable so there can be different widths on 
different Finder windows at the same time.  You can get the info by shelling 
out to the command line if that's a possibility for you.

$osascript -e 'tell application "Finder" to get the sidebar width of Finder 
window 1'

or 

$osascript -e 'tell application "Finder" to get the sidebar width of front 
Finder window'

or

$defaults read com.apple.finder | grep SidebarWidth

Note that this gives a list of results but I am not clear on whether they are 
all default values or values for current windows or, more likely, some of each. 
 The file com.apple.finder is a plist file which is a form of xml so you might 
even read the file directly into Racket and parse it.

I would not be at all surprised if there are multiple other ways to get the 
info from the command line.  

James

-- 
You received this message because you are subscribed to the Google Groups 
"Racket Users" group.
To unsubscribe from this group and stop receiving emails from it, send an email 
to racket-users+unsubscr...@googlegroups.com.
To view this discussion on the web visit 
https://groups.google.com/d/msgid/racket-users/91A18C2A-4BCF-47F9-A18A-967BDD2AF7BC%40biomantica.com.


[racket-users] racket/gui fn that returns width of O.S. toolbar?

2021-08-06 Thread Don Green
Is there a racket/gui fn that returns width of an Operating System vertical 
toolbar?

In linux and I imagine on Windows and macOS, when there exists a vertical 
OS toolbar the values returned by get-display-size and get-client-size are 
the same and are insufficient.

So,
Is there a racket/gui fn that returns width of an Operating System vertical 
toolbar?
Thanks

-- 
You received this message because you are subscribed to the Google Groups 
"Racket Users" group.
To unsubscribe from this group and stop receiving emails from it, send an email 
to racket-users+unsubscr...@googlegroups.com.
To view this discussion on the web visit 
https://groups.google.com/d/msgid/racket-users/0dc0af8e-066a-43d3-b983-f8f272b16d45n%40googlegroups.com.