1 | static ImageSurface showZoomedImage_centered(final RGBImage image) {
|
2 | ret showZoomedImage_centered(image, 2); |
3 | } |
4 | |
5 | static ImageSurface showZoomedImage_centered(S title, RGBImage image) {
|
6 | ret showZoomedImage_centered(title, image, 2); |
7 | } |
8 | |
9 | static ImageSurface showZoomedImage_centered(S title, RGBImage image, double zoom) {
|
10 | ret setFrameTitle(showZoomedImage_centered(image, zoom), title); |
11 | } |
12 | |
13 | static ImageSurface showZoomedImage_centered(final RGBImage image, final double zoom) {
|
14 | ret showZoomedImage_centered(image.getBufferedImage(), zoom); |
15 | } |
16 | |
17 | static ImageSurface showZoomedImage_centered(final BufferedImage image, final double zoom) {
|
18 | ret (ImageSurface) swingAndWait(func {
|
19 | ImageSurface is = showImage_centered(image); |
20 | is.setZoom(zoom); |
21 | packFrame(is); |
22 | ret is; |
23 | }); |
24 | } |
25 | |
26 | static ImageSurface showZoomedImage_centered(ImageSurface surface, final RGBImage image, final double zoom) {
|
27 | ret showZoomedImage_centered(image, surface, zoom); |
28 | } |
29 | |
30 | static ImageSurface showZoomedImage_centered(ImageSurface surface, final BufferedImage image, final double zoom) {
|
31 | ret showZoomedImage_centered(image, surface, zoom); |
32 | } |
33 | |
34 | static ImageSurface showZoomedImage_centered(ImageSurface surface, final RGBImage image, S title, final double zoom) {
|
35 | ret showZoomedImage_centered(surface, title, image, zoom); |
36 | } |
37 | |
38 | static ImageSurface showZoomedImage_centered(ImageSurface surface, S title, final RGBImage image, final double zoom) {
|
39 | ret setFrameTitle(showZoomedImage_centered(image, surface, zoom), title); |
40 | } |
41 | |
42 | static ImageSurface showZoomedImage_centered(ImageSurface surface, final RGBImage image, S title) {
|
43 | ret showZoomedImage_centered(surface, title, image); |
44 | } |
45 | |
46 | static ImageSurface showZoomedImage_centered(ImageSurface surface, S title, final RGBImage image) {
|
47 | ret showZoomedImage_centered(surface, title, image, 2.0); |
48 | } |
49 | |
50 | static ImageSurface showZoomedImage_centered(RGBImage image, ImageSurface surface, double zoom) {
|
51 | if (surface == null) |
52 | ret showZoomedImage_centered(image, zoom); |
53 | else {
|
54 | surface.setImage(image); |
55 | ret surface; |
56 | } |
57 | } |
58 | |
59 | static ImageSurface showZoomedImage_centered(ImageSurface surface, S title, BufferedImage image, double zoom) {
|
60 | ret setFrameTitle(title, showZoomedImage_centered(surface, image, zoom)); |
61 | } |
62 | |
63 | static ImageSurface showZoomedImage_centered(BufferedImage image, ImageSurface surface, double zoom) {
|
64 | if (surface == null) |
65 | ret showZoomedImage_centered(image, zoom); |
66 | else {
|
67 | surface.setImage(image); |
68 | ret surface; |
69 | } |
70 | } |
Began life as a copy of #1005704
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: | #1006778 |
| Snippet name: | showZoomedImage_centered - show an image zoomed (default zoom is 2) |
| Eternal ID of this version: | #1006778/16 |
| Text MD5: | 2022163f28f58f0f017e70d27f3f5da3 |
| Author: | stefan |
| Category: | javax / gui |
| Type: | JavaX fragment (include) |
| Public (visible to everyone): | Yes |
| Archived (hidden from active list): | No |
| Created/modified: | 2018-05-06 16:40:47 |
| Source code size: | 2557 bytes / 70 lines |
| Pitched / IR pitched: | No / No |
| Views / Downloads: | 451 / 480 |
| Version history: | 15 change(s) |
| Referenced in: | [show references] |