MenuPanel.st
Wed, 27 Feb 2019 16:27:01 +0100 Claus Gittinger #DOCUMENTATION by cg
Mon, 18 Feb 2019 14:08:53 +0100 Claus Gittinger #BUGFIX by cg
Fri, 15 Feb 2019 10:43:25 +0100 Claus Gittinger #UI_ENHANCEMENT by cg
Fri, 15 Feb 2019 10:07:20 +0100 Claus Gittinger #UI_ENHANCEMENT by cg
Fri, 15 Feb 2019 09:51:02 +0100 Claus Gittinger #BUGFIX by cg
Fri, 15 Feb 2019 09:41:42 +0100 Claus Gittinger #UI_ENHANCEMENT by cg
Tue, 12 Feb 2019 04:24:54 +0100 Claus Gittinger #UI_ENHANCEMENT by cg
Sun, 23 Dec 2018 00:31:42 +0100 Claus Gittinger #BUGFIX by cg
Mon, 17 Dec 2018 16:11:34 +0100 Stefan Vogel #BUGFIX by stefan
Mon, 19 Nov 2018 15:10:36 +0100 Claus Gittinger #BUGFIX by cg
Sat, 17 Nov 2018 23:42:08 +0100 Claus Gittinger #FEATURE by cg
Sat, 10 Nov 2018 00:29:56 +0100 Claus Gittinger #REFACTORING by cg
Fri, 09 Nov 2018 08:55:33 +0100 Claus Gittinger #UI_ENHANCEMENT by cg
Mon, 01 Oct 2018 17:19:00 +0200 Claus Gittinger #REFACTORING by cg
Fri, 31 Aug 2018 08:42:44 +0100 Jan Vrany MenuPanel: use menu panels' default font if item does not specify one explicitly. jv
Sat, 15 Sep 2018 12:25:22 +0200 Claus Gittinger #UI_ENHANCEMENT by cg
Wed, 12 Sep 2018 08:27:39 +0200 Claus Gittinger #QUALITY by cg
Fri, 10 Aug 2018 11:37:32 +0200 Claus Gittinger #BUGFIX by cg
Thu, 09 Aug 2018 17:12:12 +0200 Claus Gittinger #FEATURE by cg
Thu, 09 Aug 2018 17:10:59 +0200 Claus Gittinger #FEATURE by cg
Thu, 09 Aug 2018 15:53:36 +0200 Claus Gittinger #REFACTORING by cg
Wed, 11 Jul 2018 09:56:57 +0200 Claus Gittinger #UI_ENHANCEMENT by cg
Tue, 03 Jul 2018 16:15:13 +0200 sr #REFACTORING by sr
Tue, 03 Jul 2018 14:38:58 +0200 sr #TUNING by sr
Thu, 28 Jun 2018 16:44:04 +0200 Claus Gittinger #UI_ENHANCEMENT by cg
Wed, 30 May 2018 09:34:26 +0100 Jan Vrany Copyright updates jv stx-8.0.0
Mon, 11 Jun 2018 10:34:10 +0200 Claus Gittinger #QUALITY by cg
Mon, 11 Jun 2018 10:28:51 +0200 Claus Gittinger #QUALITY by cg
Mon, 11 Jun 2018 10:26:40 +0200 Claus Gittinger #QUALITY by cg
Mon, 11 Jun 2018 09:58:41 +0200 Claus Gittinger #UI_ENHANCEMENT by cg
less more (0) -300 -100 -50 -30 tip