UserPreferences.st
Tue, 28 May 2019 17:44:04 +0200 sr #BUGFIX by Stefan Reise
Wed, 13 Mar 2019 21:27:16 +0100 Claus Gittinger #DOCUMENTATION by cg
Wed, 13 Mar 2019 21:25:43 +0100 Claus Gittinger #DOCUMENTATION by cg
Wed, 13 Mar 2019 21:25:02 +0100 Claus Gittinger #REFACTORING by cg
Fri, 01 Mar 2019 12:04:02 +0100 Claus Gittinger #FEATURE by cg
Sat, 19 Jan 2019 21:24:42 +0000 Jan Vrany Add convenience API `UserPreferences >> save` and `UserPreferences class >> saveSettings:` jv
Thu, 17 Jan 2019 12:53:50 +0100 Claus Gittinger #FEATURE by cg
Tue, 11 Dec 2018 18:32:30 +0100 Claus Gittinger #REFACTORING by cg
Thu, 25 Oct 2018 16:53:14 +0200 sr #FEATURE by sr
Wed, 29 Aug 2018 13:57:59 +0200 Claus Gittinger #UI_ENHANCEMENT by cg
Fri, 24 Aug 2018 19:40:54 +0200 Claus Gittinger #FEATURE by cg
Mon, 23 Jul 2018 11:17:43 +0200 Stefan Vogel #REFACTORING by stefan
Mon, 16 Jul 2018 12:54:33 +0200 Claus Gittinger #REFACTORING by cg
Mon, 16 Jul 2018 12:53:41 +0200 Claus Gittinger #REFACTORING by cg
Mon, 11 Jun 2018 11:43:06 +0100 Jan Vrany Copyright updates jv
Tue, 21 Nov 2017 21:31:18 +0000 Jan Vrany Issue #80: remove initialization of `Language` and `LanguageTerritory` globals. jv
Mon, 20 Nov 2017 14:23:33 +0100 Jan Vrany Issue #80: keep language settings in `UserPreferences` jv
Wed, 13 Jun 2018 17:33:14 +0200 Claus Gittinger #UI_ENHANCEMENT by cg
Wed, 16 May 2018 15:37:51 +0200 Stefan Vogel #QUALITY by stefan
Tue, 15 May 2018 17:00:06 +0200 Claus Gittinger #FEATURE by cg
Fri, 11 May 2018 09:56:22 +0200 Claus Gittinger #REFACTORING by cg
Tue, 27 Mar 2018 17:28:43 +0200 Claus Gittinger #UI_ENHANCEMENT by cg
Fri, 26 Jan 2018 08:24:47 +0100 Claus Gittinger #DOCUMENTATION by cg
Fri, 26 Jan 2018 07:42:22 +0100 Claus Gittinger #REFACTORING by cg
Fri, 26 Jan 2018 07:35:29 +0100 Claus Gittinger #FEATURE by cg
Thu, 18 Jan 2018 17:14:49 +0100 Claus Gittinger #DOCUMENTATION by cg
Fri, 17 Nov 2017 10:33:59 +0100 Claus Gittinger #FEATURE by cg
Thu, 09 Nov 2017 21:13:10 +0100 Claus Gittinger #UI_ENHANCEMENT by cg
Wed, 01 Nov 2017 11:26:28 +0100 Claus Gittinger #UI_ENHANCEMENT by cg
Sat, 21 Oct 2017 17:04:03 +0200 Claus Gittinger #FEATURE by cg
less more (0) -300 -100 -50 -30 tip