Re: [racket-users] DrRacket's auto-indentation outside DrRacket?

Here are the docs for the preferences system: http://docs.racket-lang.org/framework/Preferences__Textual.html You will want to look at the code in the framework for the specifics of the preference you're after. It's name is 'framework:tabify and these are the two files you want, I believe:

Re: [racket-users] DrRacket's auto-indentation outside DrRacket?

> The code I sent would be influenced by the preferences I believe. But you > could test that? I will, when I'm next on a machine with Racket. Is there a way to set these preferences programmatically, though? I intend to run the code in a VM that is created from scratch each time the tests are

Re: [racket-users] DrRacket's auto-indentation outside DrRacket?

The code I sent would be influenced by the preferences I believe. But you could test that? Robby On Thursday, August 25, 2016, David Christiansen wrote: > Hi Robby, > > Thank you very much for a fast and useful answer! > > > I'm not sure about the suitable

Re: [racket-users] DrRacket's auto-indentation outside DrRacket?

>>> The specification has to come with feature and/or the language, not the >>> tool. How would Emacs know about it? Or Notepad? Every editor — and every >>> tool in the tool chain — must know what indentation means if it may touch >>> it. My goal here is not for Emacs to know how to indent

Re: [racket-users] DrRacket's auto-indentation outside DrRacket?

Hi Robby, Thank you very much for a fast and useful answer! > I'm not sure about the suitable configuration: that should probably > happen via the #lang line and shouldn't be configured "from the > outside" (we're not quite there yet, but that's where we should be > heading, IMO). Today, this

Re: [racket-users] DrRacket's auto-indentation outside DrRacket?

> On Aug 25, 2016, at 6:17 PM, Dupéron Georges > wrote: > > Le vendredi 26 août 2016 00:02:13 UTC+2, Matthias Felleisen a écrit : >> The specification has to come with feature and/or the language, not the >> tool. How would Emacs know about it? Or Notepad? Every

Re: [racket-users] DrRacket's auto-indentation outside DrRacket?

Oh, actually comparing characters is just fine, since tabify changes only characters, not snips. Robby On Thu, Aug 25, 2016 at 4:24 PM, Robby Findler wrote: > I'm not sure about the suitable configuration: that should probably > happen via the #lang line and

Re: [racket-users] DrRacket's auto-indentation outside DrRacket?

I'm not sure about the suitable configuration: that should probably happen via the #lang line and shouldn't be configured "from the outside" (we're not quite there yet, but that's where we should be heading, IMO). But for point 2, here's a script. It depends on the GUI library. Removing that

[racket-users] DrRacket's auto-indentation outside DrRacket?

Hi all, As far as I know, the standard for indentation in Racket is "Do like DrRacket", after DrRacket has been suitably configured for new syntax introduced by the application in question. I'd like to arrange for this to be enforced by Travis. As far as I can see, my building blocks for this