| Thu, 13 Jun 2013 17:29:14 +0200 |
Claus Gittinger |
class: MemoryMonitor
|
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, 30 Nov 2012 17:23:39 +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, 29 Oct 2012 01:35:21 +0100 |
Claus Gittinger |
fixed: #collectGarbage
|
file |
diff |
annotate
|
| Tue, 22 Nov 2011 14:52:06 +0100 |
Claus Gittinger |
changed: #collectGarbage
|
file |
diff |
annotate
|
| Tue, 16 Aug 2011 15:09:59 +0200 |
Stefan Vogel |
changed: #windowSpec
|
file |
diff |
annotate
|
| Tue, 16 Aug 2011 12:49:29 +0200 |
Stefan Vogel |
changed: #windowSpec
|
file |
diff |
annotate
|
| Thu, 24 Mar 2011 15:34:13 +0100 |
Stefan Vogel |
set icon resource
|
file |
diff |
annotate
|
| Sat, 03 Jul 2004 19:41:15 +0200 |
Stefan Vogel |
Do not set maxExtent (to 1024x768).
|
file |
diff |
annotate
|
| Sat, 28 Aug 1999 14:53:20 +0200 |
Claus Gittinger |
checkin from browser
|
file |
diff |
annotate
|
| Sat, 28 Aug 1999 14:17:56 +0200 |
Claus Gittinger |
moved under view; added extra app-wrapper
|
file |
diff |
annotate
|
| Sat, 28 Aug 1999 14:13:35 +0200 |
Claus Gittinger |
moved under view; added extra app-wrapper
|
file |
diff |
annotate
|
| Fri, 23 Apr 1999 14:45:55 +0200 |
Claus Gittinger |
category change
|
file |
diff |
annotate
|
| Wed, 03 Feb 1999 17:04:56 +0100 |
Stefan Vogel |
Fix drawing if newspace is 0.
|
file |
diff |
annotate
|
| Thu, 24 Sep 1998 12:46:39 +0200 |
Claus Gittinger |
checkin from browser
|
file |
diff |
annotate
|
| Tue, 15 Sep 1998 19:07:41 +0200 |
Claus Gittinger |
ignore styleChange
|
file |
diff |
annotate
|
| Tue, 08 Sep 1998 13:23:22 +0200 |
Claus Gittinger |
checkin from browser
|
file |
diff |
annotate
|
| Wed, 05 Aug 1998 15:35:34 +0200 |
Claus Gittinger |
checkin from browser
|
file |
diff |
annotate
|
| Wed, 05 Aug 1998 14:59:07 +0200 |
Claus Gittinger |
reorganized menu again
|
file |
diff |
annotate
|
| Wed, 05 Aug 1998 14:55:48 +0200 |
Claus Gittinger |
reorganized menu (place less often used items in special menu);
|
file |
diff |
annotate
|
| Tue, 04 Aug 1998 02:16:41 +0200 |
Claus Gittinger |
checkin from browser
|
file |
diff |
annotate
|
| Tue, 04 Aug 1998 02:02:03 +0200 |
Claus Gittinger |
more menu functions for configuring the
|
file |
diff |
annotate
|
| Mon, 27 Jul 1998 19:58:22 +0200 |
Claus Gittinger |
must change the font first, then ask for its width.
|
file |
diff |
annotate
|
| Wed, 15 Jul 1998 13:01:02 +0200 |
Claus Gittinger |
avoid generating garbage when updating the display
|
file |
diff |
annotate
|
| Sun, 26 Apr 1998 01:09:21 +0200 |
Claus Gittinger |
use new itemList message from PopUpMenu
|
file |
diff |
annotate
|
| Wed, 30 Jul 1997 21:20:36 +0200 |
Claus Gittinger |
tenure in GC to break rememberedSet refs.
|
file |
diff |
annotate
|