| feature and preferences |
image/jpeg
|
2003-06-21 15:42:55 EDT |
51.67 KB |
no flags
|
Details |
| feature and preferences for the JavaEditor |
image/jpeg
|
2003-06-21 15:43:28 EDT |
71.85 KB |
no flags
|
Details |
| Addition to jface.text -- WhitespacePainter |
patch
|
2003-06-21 16:08:47 EDT |
5.66 KB |
no flags
|
Details |
| Adjustments in ui.editors |
patch
|
2003-06-21 16:10:33 EDT |
8.42 KB |
no flags
|
Details |
| Adjustments in ui.workbench.texteditor |
patch
|
2003-06-21 16:10:56 EDT |
4.85 KB |
no flags
|
Details |
| Adjustments in jdt.ui |
patch
|
2003-06-21 16:11:19 EDT |
8.96 KB |
no flags
|
Details |
| zoomed in example |
image/png
|
2004-05-04 22:31:06 EDT |
2.63 KB |
no flags
|
Details |
| CDT implementation ported to Platform |
patch
|
2006-11-14 06:24:02 EST |
20.04 KB |
no flags
|
Details |
| Proposed implementation |
patch
|
2006-11-20 10:48:09 EST |
33.72 KB |
no flags
|
Details |
| Revised version of Anton's patch |
patch
|
2006-11-21 13:10:34 EST |
37.90 KB |
no flags
|
Details |