equal
deleted
inserted
replaced
179 // we do not expect that this may happen, the only response |
179 // we do not expect that this may happen, the only response |
180 // is to re-initialize the list of devices |
180 // is to re-initialize the list of devices |
181 initDevices(); |
181 initDevices(); |
182 |
182 |
183 d = devices.get(mainDisplayID); |
183 d = devices.get(mainDisplayID); |
|
184 if (d == null) { |
|
185 throw new AWTError("no screen devices"); |
|
186 } |
184 } |
187 } |
185 return d; |
188 return d; |
186 } |
189 } |
187 |
190 |
188 @Override |
191 @Override |