75 |
{ |
{ |
76 |
if (desktop.getSelectedFrame() != null) |
if (desktop.getSelectedFrame() != null) |
77 |
{ |
{ |
78 |
try |
try |
79 |
{ |
{ |
80 |
desktop.getSelectedFrame().setClosed(true); |
desktop.getSelectedFrame().setClosed(true); |
81 |
} |
} |
82 |
catch (PropertyVetoException pve) |
catch (PropertyVetoException pve) |
83 |
{ |
{ |
84 |
} |
// We do nothing if the attempts has been vetoed. |
85 |
|
} |
86 |
} |
} |
87 |
} |
} |
88 |
|
|
114 |
{ |
{ |
115 |
if (desktop.getSelectedFrame() != null) |
if (desktop.getSelectedFrame() != null) |
116 |
{ |
{ |
117 |
try |
try |
118 |
{ |
{ |
119 |
desktop.getSelectedFrame().setMaximum(true); |
desktop.getSelectedFrame().setMaximum(true); |
120 |
} |
} |
121 |
catch (PropertyVetoException pve) |
catch (PropertyVetoException pve) |
122 |
{ |
{ |
123 |
} |
// We do nothing if the attempts has been vetoed. |
124 |
|
} |
125 |
} |
} |
126 |
} |
} |
127 |
|
|
153 |
{ |
{ |
154 |
if (desktop.getSelectedFrame() != null) |
if (desktop.getSelectedFrame() != null) |
155 |
{ |
{ |
156 |
try |
try |
157 |
{ |
{ |
158 |
desktop.getSelectedFrame().setIcon(true); |
desktop.getSelectedFrame().setIcon(true); |
159 |
} |
} |
160 |
catch (PropertyVetoException pve) |
catch (PropertyVetoException pve) |
161 |
{ |
{ |
162 |
} |
// We do nothing if the attempt has been vetoed. |
163 |
|
} |
164 |
} |
} |
165 |
} |
} |
166 |
|
|
240 |
JInternalFrame frame = desktop.getSelectedFrame(); |
JInternalFrame frame = desktop.getSelectedFrame(); |
241 |
if (frame != null) |
if (frame != null) |
242 |
{ |
{ |
243 |
try |
try |
244 |
{ |
{ |
245 |
if (frame.isIcon()) |
if (frame.isIcon()) |
246 |
frame.setIcon(false); |
frame.setIcon(false); |
247 |
else if (frame.isMaximum()) |
else if (frame.isMaximum()) |
248 |
frame.setMaximum(false); |
frame.setMaximum(false); |
249 |
} |
} |
250 |
catch (PropertyVetoException pve) |
catch (PropertyVetoException pve) |
251 |
{ |
{ |
252 |
} |
// We do nothing if the attempt has been vetoed. |
253 |
|
} |
254 |
} |
} |
255 |
} |
} |
256 |
|
|
309 |
*/ |
*/ |
310 |
public BasicDesktopPaneUI() |
public BasicDesktopPaneUI() |
311 |
{ |
{ |
312 |
|
// Nothing to do here. |
313 |
} |
} |
314 |
|
|
315 |
/** |
/** |