public static void saveWindowOpt() {
		synchronized (window_props) {
			try {
				window_props.store(new FileOutputStream("windows.conf"),
						"Window config options");
			} catch (IOException e) {
				System.out.println(e);
			}
		}
	}