1 package eu.svjatoslav.instantlauncher;
9 public static String getFileExtension(File file) {
10 // extract file name without file name extension
11 String fullFileName = file.getName();
13 int dot = fullFileName.lastIndexOf('.');
18 fileExtension = fullFileName.substring(dot + 1);
19 fileExtension = fileExtension.toLowerCase();
25 public static void setComponentSize(JComponent component, Dimension size) {
26 component.setMinimumSize(size);
27 component.setMaximumSize(size);
28 component.setSize(size);
29 component.setPreferredSize(size);