Rewrite Metadata Validator/SoC 2008/PyDev integration with the Darklooks theme

From Creative Commons
Jump to: navigation, search

If one uses Darklooks, a dark-coloured theme for Ubuntu, it might be desirable to make PyDev, a plug-in for Eclipse SDK to facilitate programming in Python, look similar. In order to do this, one has to save the public‑domain file listed below under the filename “dark.epf”, run Eclipse SDK with PyDev, and choose File » Import » General » Preferences (click “Next”), then select the file from the disk while preserving the option “Import all” enabled. After clicking “Finish”, Eclipse SDK should be restarted.

#Wed Aug 06 12:00:00 CEST 2008
/instance/org.python.pydev/STRING_COLOR=255,159,236
/instance/org.eclipse.pde.ui/editor.color.tag_bold=true
/instance/org.python.pydev/BACKQUOTES_COLOR=131,220,232
/instance/org.eclipse.pde.ui/editor.color.header_value=217,227,208
/instance/org.python.pydev/COMMENT_COLOR=186,233,147
/instance/org.python.pydev/CODE_COLOR=217,227,208
/instance/org.eclipse.core.resources/version=1
/instance/org.eclipse.pde.ui/editor.color.instr_bold=true
/instance/org.eclipse.ui/showIntro=false
/instance/org.python.pydev/NUMBER_COLOR=255,164,7
/instance/org.eclipse.ui.editors/AbstractTextEditor.Color.FindScope=122,73,95
/instance/org.eclipse.jdt.ui/org.eclipse.jface.textfont=1|DejaVu Sans Mono|10|0|GTK|1|;
/instance/org.eclipse.pde.ui/editor.color.tag=131,220,232
/instance/org.eclipse.ui/SHOW_TRADITIONAL_STYLE_TABS=true
/instance/org.eclipse.ui/ENABLE_ANIMATIONS=false
/instance/org.eclipse.pde.ui/editor.color.header_key=255,142,142
/instance/org.eclipse.ui.workbench/org.eclipse.ui.ide.systemDefault.org.eclipse.jface.textfont=1|DejaVu Sans Mono|10|0|GTK|1|;
/instance/org.python.pydev/CLASS_NAME_COLOR=246,152,42
/instance/org.eclipse.ui.editors/AbstractTextEditor.Color.SelectionBackground=58,73,76
/instance/org.eclipse.ui.editors/hyperlinkColor=173,173,255
/instance/org.eclipse.pde.ui/editor.color.xml_comment=186,233,147
/instance/org.eclipse.ui/CURRENT_THEME_ID=org.eclipse.ui.ide.systemDefault
/instance/org.python.pydev/KEYWORD_COLOR=131,220,232
/instance/org.python.pydev/SELF_COLOR=200,255,85
/instance/org.eclipse.ui.editors/lineNumberRuler=true
/instance/org.eclipse.ui.editors/lineNumberColor=255,255,255
/instance/org.python.pydev/FUNC_NAME_COLOR=246,236,42
/instance/org.python.pydev/EDITOR_MATCHING_BRACKETS_COLOR=207,0,0
/instance/org.eclipse.pde.ui/editor.color.header_assignment=217,227,208
/instance/org.eclipse.ui.editors/currentLineColor=70,70,70
/instance/org.eclipse.jdt.ui/fontPropagated=true
/instance/org.eclipse.pde.ui/editor.color.string=255,254,179
/instance/org.eclipse.pde.ui/editor.color.instr=131,220,232
/instance/org.eclipse.pde.ui/editor.color.default=217,227,208
/instance/org.eclipse.pde.ui/editor.color.header_attributes=131,220,232

See also: