Lines 61-68
Link Here
|
61 |
super(new BorderLayout()); |
61 |
super(new BorderLayout()); |
62 |
setSize(148,180); |
62 |
setSize(148,180); |
63 |
scroll = new JScrollPane(); |
63 |
scroll = new JScrollPane(); |
64 |
//scroll.setBorder(null); |
|
|
65 |
//tipsBrowser = new JEditorPane(); |
66 |
tipsBrowser = new WelcomeEditor(); |
64 |
tipsBrowser = new WelcomeEditor(); |
67 |
tipsBrowser.setEditable(false); |
65 |
tipsBrowser.setEditable(false); |
68 |
tipsBrowser.setBackground(new Color(231,236,251)); |
66 |
tipsBrowser.setBackground(new Color(231,236,251)); |
Lines 70-76
Link Here
|
70 |
tipsBrowser.setBorder(new EmptyBorder(2,4,2,2)); |
68 |
tipsBrowser.setBorder(new EmptyBorder(2,4,2,2)); |
71 |
tipsBrowser.setSize(148,180); |
69 |
tipsBrowser.setSize(148,180); |
72 |
tipsBrowser.setPreferredSize(new Dimension(148,180)); |
70 |
tipsBrowser.setPreferredSize(new Dimension(148,180)); |
73 |
tipsBrowser.setFont(new java.awt.Font("Lucida Sans", 0, 10));// NOI18N |
|
|
74 |
findTips(); |
71 |
findTips(); |
75 |
showTip(getTipIndex()); |
72 |
showTip(getTipIndex()); |
76 |
scroll.setViewportView(tipsBrowser); |
73 |
scroll.setViewportView(tipsBrowser); |