I built a pretty printer for mobl, and now I’d some way to actually apply it to the current file. Currently I have to select everything, choose “Transform” and then pick the Pretty printer there that opens it in a new file in a separate tab. I want the result to be applied in the file I’m editing, not into a separate file. Preferably I could assign a shortcut to this, like Ctrl+Shift+F or something.

Submitted by Zef Hemel on 13 April 2010 at 11:07

On 13 April 2010 at 11:54 Lennart Kats commented:

We want something like this for refactoring as well. Maartje any comments?


On 16 April 2010 at 17:03 Maartje commented:

There is now (to be tested) a primitive function for applying text changes

apply-text-change= prim(“SSL_EXT_text_change”,, )
possible arguments:
- ((l,c,l-end,c-end),“text-fragment”)
- ((offset, end-offset),“text-fragment”)
- (term,“text-fragment”)


On 9 December 2010 at 14:51 Lennart Kats tagged !robvermaas

On 9 December 2010 at 14:51 Lennart Kats tagged !lennartkats

On 14 May 2011 at 11:42 Maartje closed this issue.

On 14 May 2011 at 11:42 Maartje commented:

refactoring : “Format Code” = format-code [in myLang-Builders.esv]

format-code: (selected, position, ast, path, project-path) -> [(selected, selected)]


On 14 May 2011 at 11:44 Maartje commented:

format-code: (selected, position, ast, path, project-path) -> [(selected, pp-result)]
where pp-result:= …


On 14 May 2011 at 20:37 Lennart Kats tagged 1.0

On 28 December 2011 at 13:17 Lennart Kats removed tag @lennartkats

Log in to post comments