On 24-03-2018, at 11:12 PM, Taeumel, Marcel Marcel.Taeumel@hpi.de wrote:
Yet, we could think about separate preferences for Smalltalk editors and other editors.
Maybe even per-editor instance preferences. Inherit the global as a default but allow changing at need. Need a UI to make it useful. Actually we really need some big improvements to the prefs/settings/style/font/colour stuff for editors anyway.
tim -- tim Rowledge; tim@rowledge.org; http://www.rowledge.org/tim "Bother" said Pooh, and deleted his message base