1

Closed

Texteditor options

description

More options to customize the text editor and the workings of the application.
Closed Sep 22, 2009 at 8:38 PM by Viktor
This very wide issue can be closed now that we have Beta 2 released with a option form with both compiler and texteditor options.

comments

wrote Sep 8, 2009 at 10:20 PM

Associated with changeset 28932.

wrote Sep 9, 2009 at 9:16 PM

Associated with changeset 29139.

wrote Sep 22, 2009 at 8:38 PM

wrote Feb 13, 2013 at 8:47 PM

wrote May 16, 2013 at 2:39 AM