| Thu, 15 Oct 2020 12:05:06 +0200 |
Dirk Olmes |
Reflection Code in eigene Klasse verschoben.
default tip
|
| Thu, 15 Oct 2020 09:43:34 +0200 |
Dirk Olmes |
Anpassungen fuer aktuelles JDK. Input Stream, aus dem das Icon geladen wird, ordentlich schliessen.
|
| Mon, 07 Sep 2015 14:49:50 +0200 |
Dirk Olmes |
increment version number to 1.0.1
|
| Mon, 07 Sep 2015 14:42:44 +0200 |
Dirk Olmes |
Reset the title image when an editor is closed.
|
| Tue, 16 Dec 2014 07:38:49 +0100 |
Dirk Olmes |
Use the same contributorClass as the JDT editor. This brings back the functionality of displaying the current line/column number in the status bar.
|
| Mon, 15 Dec 2014 14:13:11 +0100 |
Dirk Olmes |
use the default JDT icon for the java editor so the look and feel our editor is the same when it't not displaying the flagged icon
|
| Mon, 15 Dec 2014 06:31:20 +0100 |
Dirk Olmes |
ignore files in the bin folder
|
| Mon, 15 Dec 2014 06:25:32 +0100 |
Dirk Olmes |
use the same ID for the editor as JDT does
|
| Sat, 13 Dec 2014 13:54:38 +0100 |
Dirk Olmes |
Install a custom JavaElementImageProvider subclass so that the custom title image stays in place even if the editor icon is decorated e.g. by error markers.
|
| Thu, 23 Oct 2014 22:20:08 +0200 |
Dirk Olmes |
created a plugin that allows to set a custom icon on a java editor
|
