1 | if(newView == viewsFirst)↵ | | 1 | if(temp)↵
|
2 | {↵ | | 2 | {↵
|
3 | newView.getTextArea().requestFocus();↵ | | 3 | ↵
|
|
4 | // Don't show the welcome message if jEdit was started↵ | | |
|
5 | // with the -nosettings switch↵ | | |
|
6 | if(settingsDirectory != null && getBooleanProperty("firstTime"))↵ | | |
|
7 | new HelpView↵ | | 4 | if(close == null)↵
|
| | | 5 | {↵
|
| | | 6 | close = new RolloverButton(GUIUtilities.loadIcon("closebox.gif"));↵
|
8 | er();↵ | | 7 | close.addActionListener(new ActionHandler());↵
|
9 | else if(jEdit.getBooleanProperty("tip.show"))↵ | | 8 | close.setToolTipText(jEdit.getProperty(↵
|
10 | new TipOfTheDay(newView);↵ | | |
|
|
11 | setBooleanProperty("firstTime",false);↵ | | |
|
12 | }↵ | | |
|
13 | else↵ | | |
|
14 | GUIUtilities.requestFocus(newView,newView.getTextArea()↵ | | |
|
| | | 9 | "view.search.close-tooltip"));↵
|
| | | 10 | }↵
|
| | | 11 | add(close);↵
|
| | | 12 | }↵
|
| | | 13 | else if(close != null)↵
|
15 | ); | | 14 | remove(close);
|