Re: [racket-users] Room for descriptions

2015-07-03 Thread Pierpaolo Bernardi
On Fri, Jul 3, 2015 at 8:36 PM, Neil Van Dyke wrote: > BTW, Emacs users can get this feature through Quack. > The feature turns causes a typed "[" to insert "(". > > Separately, typed "]" always inserts the character to agree with the > matching open paren/bracket. > > To really insert "[", do th

Re: [racket-users] Room for descriptions

2015-07-03 Thread Neil Van Dyke
BTW, Emacs users can get this feature through Quack. http://www.neilvandyke.org/quack/ See checkbox menu item "Quack -> Options -> Smart-Open-Paren", or Customize-able variable `quack-smart-open-paren-p`. The feature turns causes a typed "[" to insert "(". Separately, typed "]" always insert

Re: [racket-users] Room for descriptions

2015-07-03 Thread Pierpaolo Bernardi
BTW, since you are looking at the preferences, I wish there was a way to have automatic conversion of square brackets to parentheses *always*. That is, I don't want square brackets in my racket code, but I like the convenience of typing them over typing parentheses. Looks like a combination of pre

Re: [racket-users] Room for descriptions

2015-07-03 Thread Jens Axel Søgaard
Thanks! No wonder I couldn't find it in the preferences. /Jens Axel 2015-07-03 18:59 GMT+02:00 Robby Findler : > That sounds like it would be a very nice change. > > The option you want is in the view menu. > > Robby > > > On Friday, July 3, 2015, Jens Axel Søgaard wrote: > >> Hi All, >> >> Du

Re: [racket-users] Room for descriptions

2015-07-03 Thread Robby Findler
That sounds like it would be a very nice change. The option you want is in the view menu. Robby On Friday, July 3, 2015, Jens Axel Søgaard wrote: > Hi All, > > During the installation of DrRacket on a new laptop I realized > that the preferences dialog could need some kind of info > on each av

[racket-users] Room for descriptions

2015-07-03 Thread Jens Axel Søgaard
Hi All, During the installation of DrRacket on a new laptop I realized that the preferences dialog could need some kind of info on each available option. Consider this: http://i.imgur.com/IzsJrI8.png There is lots of room to the right for a description. "Map delete to backspace"