| |
|
| java.lang.Object workbench.resource.ResourceMgr
ResourceMgr | public class ResourceMgr (Code) | | author: support@sql-workbench.net.kellerer |
MNU_TXT_COPY_SELECTED | final public static String MNU_TXT_COPY_SELECTED(Code) | | |
MNU_TXT_OPTIONS | final public static String MNU_TXT_OPTIONS(Code) | | |
MNU_TXT_WORKSPACE | final public static String MNU_TXT_WORKSPACE(Code) | | |
TXT_PRODUCT_NAME | final public static String TXT_PRODUCT_NAME(Code) | | |
getDefaultTabLabel | public static String getDefaultTabLabel()(Code) | | |
getDescription | public static String getDescription(String aKey, boolean replaceModifiers)(Code) | | Returns the description associcate with the given key.
This is used for Tooltips which are associated with a
certain menu text etc.
|
getFormattedString | public static String getFormattedString(String key, int value1, int value2)(Code) | | |
isDevBuild | public static boolean isDevBuild()(Code) | | |
|
|
|