1 | static void moveFrameAround(Window w) { |
2 | if (w == null) ret; |
3 | pcall { |
4 | Rect r = randomRect(w.getWidth(), w.getHeight(), toRect(maxWindowBounds())); |
5 | if (r != null) |
6 | w.setLocation(r.x, r.y); |
7 | } |
8 | } |
download show line numbers debug dex old transpilations
Travelled to 13 computer(s): aoiabmzegqzx, bhatertpkbcr, cbybwowwnfue, cfunsshuasjs, gwrvuhgaqvyk, ishqpsrjomds, lpdgvwnxivlt, mqqgnosmbjvj, pyentgdyhuwx, pzhvpgtvlbxg, tslmcundralx, tvejysmllsmz, vouqrxazstgt
No comments. add comment
Snippet ID: | #1009809 |
Snippet name: | moveFrameAround |
Eternal ID of this version: | #1009809/3 |
Text MD5: | c2aa1469d34b03d76189fe27326e99c7 |
Author: | stefan |
Category: | javax / gui |
Type: | JavaX fragment (include) |
Public (visible to everyone): | Yes |
Archived (hidden from active list): | No |
Created/modified: | 2017-08-18 02:03:13 |
Source code size: | 215 bytes / 8 lines |
Pitched / IR pitched: | No / No |
Views / Downloads: | 594 / 602 |
Version history: | 2 change(s) |
Referenced in: | [show references] |