| Mon, 01 Jan 2018 15:59:47 +0100 |
Claus Gittinger |
#UI_ENHANCEMENT by cg
|
file |
diff |
annotate
|
| Fri, 02 Sep 2016 17:43:31 +0100 |
Jan Vrany |
Merge
jv
|
file |
diff |
annotate
|
| Wed, 31 Aug 2016 19:00:53 +0200 |
Claus Gittinger |
#UI_ENHANCEMENT by cg
|
file |
diff |
annotate
|
| Wed, 27 Feb 2013 12:34:59 +0000 |
Jan Vrany |
Added LintRuleSettingsApplication and LintRuleEditDialog to define user-defined rule sets.
jv
|
file |
diff |
annotate
|
| Wed, 30 Jan 2013 11:15:09 +0000 |
Jan Vrany |
Merged 235b77901045 and 8332590c5a41 (branch default)
jv
|
file |
diff |
annotate
|
| Fri, 07 Sep 2012 18:28:09 +0100 |
Jan Vrany |
Merged with /trunk
jv
|
file |
diff |
annotate
|
| Wed, 18 Jul 2012 18:00:57 +0100 |
Jan Vrany |
Merged with /CVS
jv
|
file |
diff |
annotate
|
| Wed, 21 Mar 2012 17:50:14 +0000 |
Jan Vrany |
Merged with /trunk
jv
|
file |
diff |
annotate
|
| Mon, 30 Jan 2012 17:49:41 +0000 |
Jan Vrany |
Improvements in LintHighlighter, few fixes
jv
|
file |
diff |
annotate
|
| Sun, 29 Jan 2012 15:33:37 +0000 |
Jan Vrany |
Merged with /trunk
jv
|
file |
diff |
annotate
|
| Sun, 29 Jan 2012 12:53:39 +0000 |
Jan Vrany |
trunk branched into /branches/jv
jv
|
file |
diff |
annotate
|
| Mon, 06 Aug 2012 09:02:02 +0200 |
Claus Gittinger |
changed: #fieldMenu
|
file |
diff |
annotate
|
| Wed, 13 Jun 2012 10:15:03 +0200 |
Claus Gittinger |
+show all (menu)
|
file |
diff |
annotate
|
| Wed, 13 Jun 2012 09:53:33 +0200 |
Claus Gittinger |
+show all (menu)
|
file |
diff |
annotate
|
| Wed, 06 Jun 2012 12:17:29 +0200 |
Claus Gittinger |
removed: #derivedFields
|
file |
diff |
annotate
|