46 |
public class BasicTextUI extends TextUI |
public class BasicTextUI extends TextUI |
47 |
{ |
{ |
48 |
int gap = 3; |
int gap = 3; |
49 |
View view = new RootView(); |
View view = null; // was: new RootView(); |
50 |
Color textColor, disabledTextColor, normalBackgroundColor; |
Color textColor, disabledTextColor, normalBackgroundColor; |
51 |
EditorKit kit = new DefaultEditorKit(); |
EditorKit kit = new DefaultEditorKit(); |
52 |
|
|
53 |
|
/* ***************************************************************** |
54 |
|
* This View is way too incomplete to be of any use. To avoid errors |
55 |
|
* when compiling with the Sun JDK, it has been commented out. |
56 |
|
* -- Sascha Brawer (brawer@dandelis.ch) |
57 |
|
* |
58 |
|
* (begin of commented out section) |
59 |
class RootView extends View |
class RootView extends View |
60 |
{ |
{ |
61 |
RootView() |
RootView() |
74 |
} |
} |
75 |
} |
} |
76 |
} |
} |
77 |
|
* (end of commented out section) |
78 |
|
*************************************************************** */ |
79 |
|
|
80 |
public BasicTextUI() |
public BasicTextUI() |
81 |
{ |
{ |