Searched refs:filenameProvider (Results 1 – 3 of 3) sorted by relevance
| /dports/java/eclipse/eclipse.platform.releng.aggregator-R4_16/eclipse.platform.swt/examples/org.eclipse.swt.snippets/src/org/eclipse/swt/snippets/ |
| H A D | Snippet373.java | 49 static final ImageFileNameProvider filenameProvider = zoom -> { field in Snippet373
68 final Image eclipse = new Image(display, filenameProvider); in main()
69 final Image eclipseToolBar1 = new Image(display, filenameProvider); in main()
70 final Image eclipseToolBar2 = new Image(display, filenameProvider); in main()
71 final Image eclipseTableHeader = new Image(display, filenameProvider); in main()
72 final Image eclipseTableItem = new Image(display, filenameProvider); in main()
73 final Image eclipseTree1 = new Image(display, filenameProvider); in main()
74 final Image eclipseTree2 = new Image(display, filenameProvider); in main()
75 final Image eclipseCTab1 = new Image(display, filenameProvider); in main()
76 final Image eclipseCTab2 = new Image(display, filenameProvider); in main()
|
| H A D | Snippet367.java | 39 final ImageFileNameProvider filenameProvider = zoom -> { in main() local
94 new Label (shell, SWT.NONE).setImage (new Image (display, filenameProvider)); in main()
95 new Button(shell, SWT.NONE).setImage (new Image (display, filenameProvider)); in main()
|
| /dports/cad/digital/Digital-0.27/src/main/java/de/neemann/digital/toolchain/ |
| H A D | Configuration.java | 110 private transient FilenameProvider filenameProvider; field in Configuration
128 public Configuration setFilenameProvider(FilenameProvider filenameProvider) { in setFilenameProvider() argument
129 this.filenameProvider = filenameProvider; in setFilenameProvider()
289 File digFile = filenameProvider.getCurrentFilename(); in executeCommand()
|