|
||||||||||
| PREV CLASS NEXT CLASS | FRAMES NO FRAMES | |||||||||
| SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD | |||||||||
java.lang.Objectnet.docliff.models.applicationmodel.guimodel.editor.PreferencesContainer
public class PreferencesContainer
| Constructor Summary | |
|---|---|
PreferencesContainer()
|
|
| Method Summary | |
|---|---|
org.eclipse.swt.graphics.Font |
getDefaultFont()
|
int |
getDefaultFontHeight()
|
java.lang.String |
getDefaultFontName()
|
int |
getDefaultFontStyle()
|
java.lang.String |
getGuiLanguage()
|
void |
getPreferences(EditorConfiguration editorConfiguration)
getPreferences |
java.lang.String |
getPtDataSources()
|
java.lang.String |
getTmDataSources()
|
boolean |
isbSearchIfApproved()
|
boolean |
isGlobalDictionaryOnTop()
|
boolean |
isQueryAddTranslation()
|
boolean |
isQueryNewTranslation()
|
boolean |
isQuerySourceMatch()
|
boolean |
isQueryTargetMatch()
|
boolean |
isSegmentDictionaryOnTop()
|
void |
savePreferences(EditorConfiguration editorConfiguration)
savePreferences |
void |
setbSearchIfApproved(boolean bSearchIfApproved)
|
void |
setDefaultFont(org.eclipse.swt.graphics.Font defaultFont)
|
void |
setDefaultFontHeight(int defaultFontHeight)
|
void |
setDefaultFontName(java.lang.String defaultFontName)
|
void |
setDefaultFontStyle(int defaultFontStyle)
|
void |
setGlobalDictionaryOnTop(boolean selection)
setGlobalDictionaryOnTop |
void |
setGuiLanguage(java.lang.String guiLanguage)
|
void |
setPtDataSources(java.lang.String ptDataSources)
|
void |
setQueryAddTranslation(boolean queryAddTranslation)
|
void |
setQueryNewTranslation(boolean queryNewTranslation)
|
void |
setQuerySourceMatch(boolean querySourceMatch)
|
void |
setQueryTargetMatch(boolean queryTargetMatch)
|
void |
setSegmentDictionaryOnTop(boolean selection)
setSegmentDictionaryOnTop |
void |
setTmDataSources(java.lang.String tmDataSources)
|
| Methods inherited from class java.lang.Object |
|---|
equals, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait |
| Constructor Detail |
|---|
public PreferencesContainer()
| Method Detail |
|---|
public org.eclipse.swt.graphics.Font getDefaultFont()
public int getDefaultFontHeight()
public java.lang.String getDefaultFontName()
public int getDefaultFontStyle()
public java.lang.String getGuiLanguage()
public void getPreferences(EditorConfiguration editorConfiguration)
editorConfiguration - public java.lang.String getPtDataSources()
public java.lang.String getTmDataSources()
public boolean isbSearchIfApproved()
public boolean isGlobalDictionaryOnTop()
public boolean isQueryAddTranslation()
public boolean isQueryNewTranslation()
public boolean isQuerySourceMatch()
public boolean isQueryTargetMatch()
public boolean isSegmentDictionaryOnTop()
public void savePreferences(EditorConfiguration editorConfiguration)
editorConfiguration - public void setbSearchIfApproved(boolean bSearchIfApproved)
bSearchIfApproved - the bSearchIfApproved to setpublic void setDefaultFont(org.eclipse.swt.graphics.Font defaultFont)
defaultFont - the defaultFont to setpublic void setDefaultFontHeight(int defaultFontHeight)
defaultFontHeight - the defaultFontHeight to setpublic void setDefaultFontName(java.lang.String defaultFontName)
defaultFontName - the defaultFontName to setpublic void setDefaultFontStyle(int defaultFontStyle)
defaultFontStyle - the defaultFontStyle to setpublic void setGlobalDictionaryOnTop(boolean selection)
selection - public void setGuiLanguage(java.lang.String guiLanguage)
guiLanguage - the guiLanguage to setpublic void setPtDataSources(java.lang.String ptDataSources)
ptDataSources - the ptDataSources to setpublic void setQueryAddTranslation(boolean queryAddTranslation)
queryAddTranslation - the queryAddTranslation to setpublic void setQueryNewTranslation(boolean queryNewTranslation)
queryNewTranslation - the queryNewTranslation to setpublic void setQuerySourceMatch(boolean querySourceMatch)
querySourceMatch - the querySourceMatch to setpublic void setQueryTargetMatch(boolean queryTargetMatch)
queryTargetMatch - the queryTargetMatch to setpublic void setSegmentDictionaryOnTop(boolean selection)
selection - public void setTmDataSources(java.lang.String tmDataSources)
tmDataSources - the tmDataSources to set
|
||||||||||
| PREV CLASS NEXT CLASS | FRAMES NO FRAMES | |||||||||
| SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD | |||||||||