Re: [racket-users] Hint on opening enclosing directory of current file from DrRacket

2017-07-04 Thread Jordan Johnson
IIRC on windows, at the cmd prompt (and hence maybe through DrR's "system" procedure) you can type "explorer ." to obtain the same behavior. Cheers, Jordan > On Jun 28, 2017, at 5:38 PM, James wrote: > > >> On Jun 28, 2017, at 5:42 PM, Glenn Hoetker wrote: >> >>

Re: [racket-users] Hint on opening enclosing directory of current file from DrRacket

2017-06-30 Thread James
On Jun 28, 2017, at 5:42 PM, Glenn Hoetker wrote: > Caveats: 1. Since CWD is set to the most recently run file, you have to have > run the file whose enclosing directory you wish to open. The default appears > to the home directory. 2. I know this works on MacOS. I can't see why it > wouldn't

Re: [racket-users] Hint on opening enclosing directory of current file from DrRacket

2017-06-29 Thread Tim Hanson
Heh, cool, Laurent! This dabbler had missed this until now -- I will read and probably use. Cheers, tim -- 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

Re: [racket-users] Hint on opening enclosing directory of current file from DrRacket

2017-06-29 Thread Laurent
(yet another shameless self-promotion, but hopefully this can be of some help.) If you really want to add menu items for such small tasks, you can use the script-plugin [1] which adds a easily modifiable Scripts menu item. There's already a "Scripts/Utils/Open file directory" menu item there.

Re: [racket-users] Hint on opening enclosing directory of current file from DrRacket

2017-06-28 Thread Glenn Hoetker
No apology needed. The pop-up menu is a great feature. Thank you very much. -- 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

Re: [racket-users] Hint on opening enclosing directory of current file from DrRacket

2017-06-28 Thread Matthias Felleisen
Apologies. > On Jun 28, 2017, at 8:59 PM, Glenn Hoetker wrote: > > Thanks for the quick comment. Unless I'm missing something (quite > possible...nay, likely), the triangle in the upper left launches a File Open > dialog at the requested location. That's cool and

Re: [racket-users] Hint on opening enclosing directory of current file from DrRacket

2017-06-28 Thread Glenn Hoetker
Thanks for the quick comment. Unless I'm missing something (quite possible...nay, likely), the triangle in the upper left launches a File Open dialog at the requested location. That's cool and useful, but a bit different. The use case I had in mind was wanting access to the folder *in the

Re: [racket-users] Hint on opening enclosing directory of current file from DrRacket

2017-06-28 Thread Matthias Felleisen
Did you try the down triangle next to the name of the file in the top-left corner? > On Jun 28, 2017, at 5:42 PM, Glenn Hoetker wrote: > > I hope this isn't painfully obvious to everyone but me, but I'd found it > really frustrating until I found a solution. So, I

[racket-users] Hint on opening enclosing directory of current file from DrRacket

2017-06-28 Thread Glenn Hoetker
I hope this isn't painfully obvious to everyone but me, but I'd found it really frustrating until I found a solution. So, I thought I'd share. (If that's not appropriate traffic for the mailing list, I'd appreciate a more veteran hand letting me know. I'm still observing the norms.) Issue: