class: UserPreferences
authorClaus Gittinger <cg@exept.de>
Wed, 29 May 2013 13:12:32 +0200
changeset 15340 0c7fb4d531a3
parent 15339 c701f431b3f6
child 15341 4503c19ab8f9
class: UserPreferences added:6 methods changed: #codeView2AutoIndent #codeView2AutoIndent: category of: #codeView2AutoIndent #codeView2AutoIndent: