本文整理汇总了Java中org.eclipse.jface.preference.IntegerFieldEditor类的典型用法代码示例。如果您正苦于以下问题:Java IntegerFieldEditor类的具体用法?Java IntegerFieldEditor怎么用?Java IntegerFieldEditor使用的例子?那么, 这里精选的类代码示例或许可以为您提供帮助。
IntegerFieldEditor类属于org.eclipse.jface.preference包,在下文中一共展示了IntegerFieldEditor类的15个代码示例,这些例子默认根据受欢迎程度排序。您可以为喜欢或者感觉有用的代码点赞,您的评价将有助于系统推荐出更棒的Java代码示例。
示例1: createFieldEditors
import org.eclipse.jface.preference.IntegerFieldEditor; //导入依赖的package包/类
@Override
protected void createFieldEditors() {
Composite parent = getFieldEditorParent();
RadioGroupFieldEditor autoFoldCommentChoice = new RadioGroupFieldEditor(
SolidityPreferences.FOLDING_COMMENT_AUTOFOLD
, "Auto-fold comments"
, 1
, new String[][] {
{"None", SolidityPreferences.FOLDING_COMMENT_AUTOFOLD_NONE}
,{"Only header comment", SolidityPreferences.FOLDING_COMMENT_AUTOFOLD_HEADER}
,{"All", SolidityPreferences.FOLDING_COMMENT_AUTOFOLD_ALL}
}
, parent);
addField(autoFoldCommentChoice);
IntegerFieldEditor longCommentLineCount = new IntegerFieldEditor(
SolidityPreferences.FOLDING_COMMENT_LINECOUNT
, "Enable folding for comments exceeding line count"
, parent);
addField(longCommentLineCount);
}
示例2: createFieldEditors
import org.eclipse.jface.preference.IntegerFieldEditor; //导入依赖的package包/类
/**
* Creates the page components.
*/
protected void createFieldEditors() {
TexlipsePreferencePage.addSpacer(getFieldEditorParent());
addField(new BooleanFieldEditor(TexlipseProperties.INDENTATION, TexlipsePlugin.getResourceString("preferenceIndentEnabledLabel"), getFieldEditorParent()));
String message = TexlipsePlugin.getResourceString("preferenceIndentLevelLabel").replaceFirst("%1", "" + MIN_INDENTATION).replaceFirst("%2", "" + MAX_INDENTATION);
final IntegerFieldEditor indentationWidth = new IntegerFieldEditor(TexlipseProperties.INDENTATION_LEVEL, message, getFieldEditorParent());
indentationWidth.setValidateStrategy(IntegerFieldEditor.VALIDATE_ON_KEY_STROKE);
indentationWidth.setValidRange(MIN_INDENTATION, MAX_INDENTATION);
if (TexlipsePlugin.getDefault().getPreferenceStore().getBoolean(TexlipseProperties.INDENTATION_TABS)) {
indentationWidth.setEnabled(false, getFieldEditorParent());
}
addField(indentationWidth);
BooleanFieldEditor indentationTabs = new BooleanFieldEditor(TexlipseProperties.INDENTATION_TABS, TexlipsePlugin.getResourceString("preferenceIndentTabsLabel"), getFieldEditorParent()){
@Override
protected void valueChanged(boolean oldValue, boolean newValue) {
super.valueChanged(oldValue, newValue);
if (newValue == true) indentationWidth.setEnabled(false, getFieldEditorParent());
else indentationWidth.setEnabled(true, getFieldEditorParent());
}
};
addField(indentationTabs);
TexlipsePreferencePage.addSpacer(getFieldEditorParent());
addField(new StringListFieldEditor(TexlipseProperties.INDENTATION_ENVS, TexlipsePlugin.getResourceString("preferenceIndentEnvsLabel"), getFieldEditorParent()));
}
示例3: createFieldEditors
import org.eclipse.jface.preference.IntegerFieldEditor; //导入依赖的package包/类
/**
* {@inheritDoc}
*/
@Override
protected void createFieldEditors() {
hostname = new StringFieldEditor(HACPreferenceConstants.P_HOSTNAME_URL, PreferencePage.Label.HOSTNAME_URL_INPUT_TEXT,
getFieldEditorParent());
username = new StringFieldEditor(HACPreferenceConstants.P_USERNAME, PreferencePage.Label.USERNAME_INPUT_TEXT,
getFieldEditorParent());
password = new StringFieldEditor(HACPreferenceConstants.P_PASSWORD, PreferencePage.Label.PASSWORD_INPUT_TEXT,
getFieldEditorParent()) {
@Override
protected void doFillIntoGrid(final Composite parent, final int numColumns) {
super.doFillIntoGrid(parent, numColumns);
getTextControl().setEchoChar('*');
}
};
timeout = new IntegerFieldEditor(HACPreferenceConstants.P_TIMEOUT, PreferencePage.Label.TIMEOUT_INPUT_TEXT,
getFieldEditorParent());
addField(hostname);
addField(username);
addField(password);
addField(timeout);
}
示例4: createPollChangesIntervalGroup
import org.eclipse.jface.preference.IntegerFieldEditor; //导入依赖的package包/类
private void createPollChangesIntervalGroup(Composite composite) {
Composite groupComposite = new Composite(composite, SWT.LEFT);
GridLayout layout = new GridLayout();
layout.numColumns = 2;
groupComposite.setLayout(layout);
GridData gd = new GridData();
gd.horizontalAlignment = GridData.FILL;
gd.grabExcessHorizontalSpace = true;
groupComposite.setLayoutData(gd);
pollChangesInterval = new IntegerFieldEditor(POLL_CHANGES_INTERVAL_PREF, "Poll changes interval (seconds)",
groupComposite);
pollChangesInterval.setTextLimit(Integer.toString(MAX_POLL_CHANGES_INTERVAL).length());
pollChangesInterval.setErrorMessage("The workspace save interval should be between 30 and 9999.");
pollChangesInterval.setValidateStrategy(StringFieldEditor.VALIDATE_ON_KEY_STROKE);
pollChangesInterval.setValidRange(MIN_POLL_CHANGES_INTERVAL, MAX_POLL_CHANGES_INTERVAL);
pollChangesInterval.setPropertyChangeListener(event -> {
if (event.getProperty().equals(FieldEditor.IS_VALID)) {
setValid(pollChangesInterval.isValid());
}
});
addField(pollChangesInterval);
}
示例5: createFieldEditors
import org.eclipse.jface.preference.IntegerFieldEditor; //导入依赖的package包/类
/**
* Creates the field editors. Field editors are abstractions of
* the common GUI blocks needed to manipulate various types
* of preferences. Each field editor knows how to save and
* restore itself.
*/
public void createFieldEditors()
{
/*
addField(new DirectoryFieldEditor(PreferenceConstants.P_PATH, "&Directory preference:", getFieldEditorParent()));
addField(new BooleanFieldEditor(PreferenceConstants.P_BOOLEAN, "&An example of a boolean preference",
getFieldEditorParent()));
addField(new RadioGroupFieldEditor(PreferenceConstants.P_CHOICE, "An example of a multiple-choice preference",
1, new String[][] { { "&Choice 1", "choice1" }, { "C&hoice 2", "choice2" } }, getFieldEditorParent()));
addField(new StringFieldEditor(PreferenceConstants.P_STRING, "A &text preference:", getFieldEditorParent()));
*/
addField(new BooleanFieldEditor(IPreferenceConstants.I_RESTORE_LAST_SPEC,
"&Continue Previous Session on Restart", getFieldEditorParent()));
IntegerFieldEditor minStorageSizeEditor =
new IntegerFieldEditor(IPreferenceConstants.I_MIN_DISPLAYED_SIZE,
"&Minimum spec storage displayed (in kilobytes)", getFieldEditorParent());
addField(minStorageSizeEditor);
minStorageSizeEditor.setValidRange(0, 2000000);
}
示例6: createFieldEditors
import org.eclipse.jface.preference.IntegerFieldEditor; //导入依赖的package包/类
/** Create fields controlling editing assist behavior */
@Override
public void createFieldEditors() {
baseComp = SwtUtil.makeGroupComposite(getFieldEditorParent(), 1, 1, "");
SwtUtil.addLabel(baseComp, "Enable folding of:", 2);
addField(new BooleanFieldEditor(FOLDING_FRONTMATTER_ENABLED, "Front matter block", baseComp));
addField(new BooleanFieldEditor(FOLDING_HIDDEN_COMMENTS_ENABLED, "Hidden comments", baseComp));
addField(new BooleanFieldEditor(FOLDING_CODEBLOCKS_ENABLED, "Code blocks", baseComp));
SwtUtil.addSpacer(baseComp, 2);
SwtUtil.addLabel(baseComp, "Initially fold:", 2);
addField(new BooleanFieldEditor(FOLDING_INITIAL_FRONT_MATTER, "Front matter block", baseComp));
addField(new BooleanFieldEditor(FOLDING_INITIAL_HIDDEN_COMMENTS, "Hidden comments", baseComp));
addField(new BooleanFieldEditor(FOLDING_INITIAL_CODEBLOCKS, "Code blocks", baseComp));
SwtUtil.addSpacer(baseComp, 2);
addField(new IntegerFieldEditor(FOLDING_LINES_LIMIT, "Minimum number of lines to fold: ", baseComp, 6));
}
示例7: createFieldEditors
import org.eclipse.jface.preference.IntegerFieldEditor; //导入依赖的package包/类
@Override
protected void createFieldEditors() {
nbMessageLineToDisplay = new IntegerFieldEditor(
"events.nbMessageLineToDisplay",
"Number of lines per event message (0: unlimited)",
getFieldEditorParent());
addField(nbMessageLineToDisplay);
Label label = new Label(getFieldEditorParent(), SWT.NONE);
label.setText("Columns to be displayed:");
showColumSeqNum = new BooleanFieldEditor("events.showColumSeqNum",
"Sequence Number", getFieldEditorParent());
showColumReception = new BooleanFieldEditor(
"events.showColumReception", "Reception Time",
getFieldEditorParent());
showColumnGeneration = new BooleanFieldEditor(
"events.showColumnGeneration", "Generation Time",
getFieldEditorParent());
addField(showColumSeqNum);
addField(showColumReception);
addField(showColumnGeneration);
}
示例8: createIntegerFieldEditor
import org.eclipse.jface.preference.IntegerFieldEditor; //导入依赖的package包/类
protected IntegerFieldEditor createIntegerFieldEditor(final String name, final String label, final Composite parent, final FieldEditorDetails details) {
final IntegerFieldEditor fieldEditor = new IntegerFieldEditor(name, label, parent);
if (details != null) {
if (details.getEmptyStringAllowed() != null) {
fieldEditor.setEmptyStringAllowed(details.getEmptyStringAllowed());
}
if (details.getNumberMinimum() != null && details.getNumberMaximum() != null) {
fieldEditor.setValidRange(details.getNumberMinimum().intValue(), details.getNumberMaximum().intValue());
fieldEditor.setTextLimit(Math.max(Integer.toString(details.getNumberMaximum().intValue()).length(), Integer.toString(details.getNumberMinimum().intValue()).length()));
}
if (details.getTextLimit() != null) {
fieldEditor.setTextLimit(details.getTextLimit());
}
}
return fieldEditor;
}
示例9: createUI
import org.eclipse.jface.preference.IntegerFieldEditor; //导入依赖的package包/类
private void createUI(final Composite parent) {
final Group group = new Group(parent, SWT.NONE);
GridDataFactory.fillDefaults().grab(true, false).applyTo(group);
// text: description height
final IntegerFieldEditor fieldEditor = new IntegerFieldEditor(ITourbookPreferences.TOUR_EDITOR_DESCRIPTION_HEIGHT,
Messages.pref_tour_editor_description_height,
group);
fieldEditor.setValidRange(2, 100);
fieldEditor.getLabelControl(group).setToolTipText(Messages.pref_tour_editor_description_height_tooltip);
UI.setFieldWidth(group, fieldEditor, UI.DEFAULT_FIELD_WIDTH);
addField(fieldEditor);
// set margins after the field editors are added
final GridLayout groupLayout = (GridLayout) group.getLayout();
groupLayout.marginWidth = 5;
groupLayout.marginHeight = 5;
}
示例10: createFieldEditors
import org.eclipse.jface.preference.IntegerFieldEditor; //导入依赖的package包/类
@Override
protected void createFieldEditors() {
IntegerFieldEditor highThreshold = new IntegerFieldEditor(
CoveragePlugin.HIGH_THRESHOLD_PREFERENCE,
"&High coverage threshold:",
getFieldEditorParent());
highThreshold.setValidRange(0, 100);
addField(highThreshold);
IntegerFieldEditor lowThreshold = new IntegerFieldEditor(
CoveragePlugin.LOW_THRESHOLD_PREFERENCE,
"&Low coverage threshold:",
getFieldEditorParent());
lowThreshold.setValidRange(0, 100);
addField(lowThreshold);
}
示例11: createFieldEditors
import org.eclipse.jface.preference.IntegerFieldEditor; //导入依赖的package包/类
/**
* Creates the field editors. Field editors are abstractions of
* the common GUI blocks needed to manipulate various types
* of preferences. Each field editor knows how to save and
* restore itself.
*/
@Override
public void createFieldEditors() {
Composite parent = getFieldEditorParent();
String valueString = EnsembleProperties.getProperty(P_TEMPLATE_PLAN_URI_EDITABLE);
if (valueString == null || Boolean.FALSE != Boolean.parseBoolean(valueString)) {
addField(new StringFieldEditor(P_TEMPLATE_PLAN_URI, "Template plan URI", parent));
}
addField(new BooleanFieldEditor(P_CHECK_CUSTODIAN, "Check custodian when saving", parent));
addField(new BooleanFieldEditor(P_CROSS_EDITOR_SELECTIONS, "Share selections across editors", parent));
Label reorderByTimeLabel=new Label(parent, SWT.None);
reorderByTimeLabel.setText("Reorder by time usually uses the start time of an activity \nor activity group unless the duration in hours is longer than large plan item duration.");
GridData reorderByTimeLayout = new GridData();
reorderByTimeLayout.horizontalSpan=2;
reorderByTimeLabel.setLayoutData(reorderByTimeLayout);
IntegerFieldEditor reorderByTimeField=new IntegerFieldEditor(P_WATERFALL_LARGE_ELEMENT_DURATION_IN_HOURS, "", parent);
reorderByTimeField.setLabelText("Large Plan Item Duration");
reorderByTimeField.setEmptyStringAllowed(false);
reorderByTimeField.setValidRange(0, 10000);
addField(reorderByTimeField);
}
示例12: createFieldEditors
import org.eclipse.jface.preference.IntegerFieldEditor; //导入依赖的package包/类
/**
* Create contents of the preference page.
*/
@Override
protected void createFieldEditors() {
serverAddress = new StringListEditor(MONDO_ADDRESSES_PROPERTY, "Server Addresses", getFieldEditorParent());
extensions = new StringListEditor(MONDO_EXTENSIONS_PROPERTY, "Extensions", getFieldEditorParent());
tempFolder = new DirectoryFieldEditor(MONDO_TEMP_PROPERTY, "Temp folder", getFieldEditorParent());
enableLock = new BooleanFieldEditor(MONDO_ENABLE_PROPERTY, "Enable live-lock", getFieldEditorParent());
lockUpdateDelay = new IntegerFieldEditor(MONDO_DELAY_PROPERTY, "Lock update delay [ms] (0 = manually)",
getFieldEditorParent());
lockUpdateDelay.setValidRange(0, 100000);
addField(serverAddress);
addField(extensions);
addField(tempFolder);
addField(enableLock);
addField(lockUpdateDelay);
}
示例13: createFieldEditors
import org.eclipse.jface.preference.IntegerFieldEditor; //导入依赖的package包/类
@Override
protected void createFieldEditors() {
Composite p = getFieldEditorParent();
showVerticalindentGuideFieldEditor = new BooleanFieldEditor(PydevEditorPrefs.USE_VERTICAL_INDENT_GUIDE,
"Show vertical indent guide?", p);
addField(showVerticalindentGuideFieldEditor);
useEditorForegroundAsColorFieldEditor = new BooleanFieldEditor(
PydevEditorPrefs.USE_VERTICAL_INDENT_COLOR_EDITOR_FOREGROUND,
"Use the editor foreground as the color?", p);
addField(useEditorForegroundAsColorFieldEditor);
selectionColorFieldEditor = new ColorFieldEditor(PydevEditorPrefs.VERTICAL_INDENT_COLOR,
"Vertical indent guide color.", p);
addField(selectionColorFieldEditor);
transparencyFieldEditor = new IntegerFieldEditor(PydevEditorPrefs.VERTICAL_INDENT_TRANSPARENCY,
"Vertical indent guide transparency\n(0 = transparent, 255 = opaque).", p);
transparencyFieldEditor.setValidRange(0, 255);
addField(transparencyFieldEditor);
updateInitialState();
}
示例14: createFieldEditors
import org.eclipse.jface.preference.IntegerFieldEditor; //导入依赖的package包/类
@Override
public void createFieldEditors(DebugPrefsPage page, Composite parent) {
page.addField(new IntegerFieldEditor(DebugPluginPrefsInitializer.PYDEV_REMOTE_DEBUGGER_PORT,
"Port for remote debugger:", parent, 10));
ComboFieldEditor editor = new ComboFieldEditor(DebugPluginPrefsInitializer.DEBUG_SERVER_STARTUP,
"Remote debugger server activation: ", ENTRIES_AND_VALUES_DEBUGGER_STARTUP, parent);
page.addField(editor);
editor.getLabelControl(parent)
.setToolTipText(
"This option marks if the remote debugger should be auto-activated in some situation.");
ComboFieldEditor comboEditor = new ComboFieldEditor(DebugPluginPrefsInitializer.FORCE_SHOW_SHELL_ON_BREAKPOINT,
"On breakpoint hit: ", ENTRIES_AND_VALUES, parent);
page.addField(comboEditor);
comboEditor.getLabelControl(parent)
.setToolTipText(
"Checking this option will force Eclipse to have focus when a PyDev breakpoint is hit.");
}
示例15: createFieldEditors
import org.eclipse.jface.preference.IntegerFieldEditor; //导入依赖的package包/类
protected void createFieldEditors() {
// Initialize all field editors.
IntegerFieldEditor hitcount = new IntegerFieldEditor(ScenarioTraversalPreferences.PREF_MAXHITCOUNT, Messages
.getString("ScenarioTraversalPreferencePage.MaximumHitCount"), getFieldEditorParent()); //$NON-NLS-1$
addField(hitcount);
BooleanFieldEditor strategyVariables = new BooleanFieldEditor(ScenarioTraversalPreferences.PREF_INTEGRATESTRATEGYVARIABLES, Messages
.getString("ScenarioTraversalPreferencePage.IntegrateStrategyVariables"), getFieldEditorParent()); //$NON-NLS-1$
addField(strategyVariables);
BooleanFieldEditor patient = new BooleanFieldEditor(ScenarioTraversalPreferences.PREF_ISPATIENTONPRECONDITIONS, Messages
.getString("ScenarioTraversalPreferencePage.IsPatient"), getFieldEditorParent()); //$NON-NLS-1$
addField(patient);
BooleanFieldEditor deterministic = new BooleanFieldEditor(ScenarioTraversalPreferences.PREF_ISDETERMINISTIC, Messages
.getString("ScenarioTraversalPreferencePage.IsDeterministic"), getFieldEditorParent()); //$NON-NLS-1$
addField(deterministic);
}