List of usage examples for org.jdom2 Element getText
public String getText()
From source file:de.relaunch64.popelganda.database.Settings.java
License:Open Source License
public boolean getShowExtensionInTab() { Element el = root.getChild(SETTING_SHOW_EXT_IN_TAB); if (el != null) return el.getText().equals("1"); return false; }
From source file:de.relaunch64.popelganda.database.Settings.java
License:Open Source License
public boolean getShowCloseButton() { Element el = root.getChild(SETTING_SHOW_CLOSEBUTTON); if (el != null) return el.getText().equals("1"); return false; }
From source file:de.relaunch64.popelganda.database.Settings.java
License:Open Source License
public boolean getShowToolbar() { Element el = root.getChild(SETTING_SHOW_TOOLBAR); if (el != null) return el.getText().equals("1"); return false; }
From source file:de.relaunch64.popelganda.database.Settings.java
License:Open Source License
public boolean getShowToolbarText() { Element el = root.getChild(SETTING_SHOW_TOOLBARTEXT); if (el != null) return el.getText().equals("1"); return false; }
From source file:de.relaunch64.popelganda.database.Settings.java
License:Open Source License
public boolean getSuggestionSortIgnoresCase() { Element el = root.getChild(SETTING_SUGGEST_SORT_CASE); if (el != null) return el.getText().equals("1"); return false; }
From source file:de.relaunch64.popelganda.database.Settings.java
License:Open Source License
public boolean getSaveOnCompile() { Element el = root.getChild(SETTING_SAVEONCOMPILE); if (el != null) return el.getText().equals("1"); return true;/*from w ww. j a v a 2 s. co m*/ }
From source file:de.relaunch64.popelganda.database.Settings.java
License:Open Source License
public boolean getNimbusOnOSX() { Element el = root.getChild(SETTING_NIMBUS_ON_OSX); if (el != null) return el.getText().equals("1"); return false; }
From source file:de.relaunch64.popelganda.database.Settings.java
License:Open Source License
public boolean getUseScrollTabs() { Element el = root.getChild(SETTING_USE_SCROLL_TABS); if (el != null) return el.getText().equals("1"); return false; }
From source file:de.relaunch64.popelganda.database.Settings.java
License:Open Source License
public boolean getReopenOnStartup() { Element el = root.getChild(SETTING_REOPEN_FILES_ON_STARTUP); if (el != null) return el.getText().equals("1"); return true;//from w w w .j a v a 2s .co m }
From source file:de.relaunch64.popelganda.database.Settings.java
License:Open Source License
public int getTabWidth() { Element el = root.getChild(SETTING_TABWIDTH); if (el != null) { try {//w w w .j av a 2 s.c o m return Integer.parseInt(el.getText()); } catch (NumberFormatException ex) { return 4; } } return 4; }