欢迎来到虫虫下载站 | 资源下载 资源专辑 关于我们
虫虫下载站

scriptingextensioninitializer.java

Python Development Environment (Python IDE plugin for Eclipse). Features editor, code completion, re
JAVA
字号:
package org.python.pydev.jython;

import org.eclipse.core.runtime.preferences.AbstractPreferenceInitializer;
import org.eclipse.core.runtime.preferences.DefaultScope;
import org.osgi.service.prefs.Preferences;
import org.python.pydev.jython.ui.JyScriptingPreferencesPage;

public class ScriptingExtensionInitializer extends AbstractPreferenceInitializer{
	public static final String DEFAULT_SCOPE = "org.python.pydev.jython";
	
	@Override
	public void initializeDefaultPreferences() {
		Preferences node = new DefaultScope().getNode(DEFAULT_SCOPE);
        
        node.putBoolean(JyScriptingPreferencesPage.SHOW_SCRIPTING_OUTPUT, JyScriptingPreferencesPage.DEFAULT_SHOW_SCRIPTING_OUTPUT);
        node.putBoolean(JyScriptingPreferencesPage.LOG_SCRIPTING_ERRORS, JyScriptingPreferencesPage.DEFAULT_LOG_SCRIPTING_ERRORS);
	}

}

⌨️ 快捷键说明

复制代码 Ctrl + C
搜索代码 Ctrl + F
全屏模式 F11
切换主题 Ctrl + Shift + D
显示快捷键 ?
增大字号 Ctrl + =
减小字号 Ctrl + -