Difference between revisions of "Rewrite Metadata Validator/SoC 2008/PyDev integration with the Darklooks theme"

From Creative Commons
Jump to: navigation, search
(Initial import)
(No difference)

Revision as of 08:24, 12 August 2008

If one uses Darklooks, a dark-coloured theme for Ubuntu, it might be desirable to make PyDev, a plug-in for Eclipse SDK to facilate 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: