📄 resource.java
字号:
/* * $Id: Resource.java,v 1.1.1.1 2001/03/20 22:17:39 mastermitch Exp $ * * 2001 (C) by Christian Garbs <mitch@uni.de> * * Licensed under GNU GPL (see COPYING for details) * */package de.cgarbs.apps.jprojecttimer;import java.util.Locale;import java.util.MissingResourceException;import java.util.ResourceBundle;class Resource{ final static String RESOURCE_FILE="JProjectTimerResource"; static Locale currentLocale; static ResourceBundle messages; static void setLocale(Locale newLocale) { currentLocale = newLocale; System.err.println("Current locale is: " + currentLocale); } static String get(String key) { if (messages == null) { if (currentLocale == null) { setLocale(Locale.getDefault()); } try { messages = ResourceBundle.getBundle(RESOURCE_FILE, currentLocale); System.err.println("Resource file maintained by: " + Resource.get("MAINTAINER")); } catch ( MissingResourceException e ) { System.err.println(e); System.err.println("No resource file found. This is bad!"); System.exit(1); } } try { return messages.getString(key); } catch (MissingResourceException e) { System.err.println(e); return "???"; } }}
⌨️ 快捷键说明
复制代码
Ctrl + C
搜索代码
Ctrl + F
全屏模式
F11
切换主题
Ctrl + Shift + D
显示快捷键
?
增大字号
Ctrl + =
减小字号
Ctrl + -