[Pydev-cvs] org.python.pydev javadoc.xml,NONE,1.1 .project,1.1,1.2 .classpath,1.5,1.6 Changes.txt,1.
Brought to you by:
fabioz
Menu
▾
▴
[Pydev-cvs] org.python.pydev javadoc.xml,NONE,1.1 .project,1.1,1.2 .classpath,1.5,1.6 Changes.txt,1.1,1.2 plugin.xml,1.9,1.10
|
From: Aleksandar T. <at...@us...> - 2004-04-10 02:19:52
|
Update of /cvsroot/pydev/org.python.pydev In directory sc8-pr-cvs1.sourceforge.net:/tmp/cvs-serv3977 Modified Files: .project .classpath Changes.txt plugin.xml Added Files: javadoc.xml Log Message: Checking in the rest of the project --- NEW FILE: javadoc.xml --- <?xml version="1.0" encoding="UTF-8"?> <project name="org.python.pydev" default="javadoc"> <property name="bootclasspath" value=""/> <path id="project.class.path"> <pathelement location="bin"/> <fileset dir="D:\eclipse\plugins\"> <include name="**/*.jar"/> </fileset> </path> <target name="javadoc"> <javadoc destdir="doc/javadoc" access="private" use="true" notree="false" nonavbar="false" noindex="false" splitindex="false" author="true" version="true" nodeprecatedlist="false" nodeprecated="false" classpathref="project.class.path" overview="src\overview.html" stylesheetfile="doc\javadoc.css" doctitle="Pydev javadoc" additionalparam="-quiet -link "http://help.eclipse.org/help21/index.jsp?topic=/org.eclipse.platform.doc.isv/reference/api""> <packageset dir="src"> </packageset> <packageset dir="../org.python.pydev.debug/src"> </packageset> </javadoc> </target> </project> Index: .project =================================================================== RCS file: /cvsroot/pydev/org.python.pydev/.project,v retrieving revision 1.1 retrieving revision 1.2 diff -C2 -d -r1.1 -r1.2 *** .project 17 Aug 2003 04:44:22 -0000 1.1 --- .project 10 Apr 2004 02:06:27 -0000 1.2 *************** *** 4,7 **** --- 4,11 ---- <comment></comment> <projects> + <project>org.eclipse.core.boot</project> + <project>org.eclipse.core.resources</project> + <project>org.eclipse.core.runtime</project> + <project>org.eclipse.jdt.ui</project> </projects> <buildSpec> Index: Changes.txt =================================================================== RCS file: /cvsroot/pydev/org.python.pydev/Changes.txt,v retrieving revision 1.1 retrieving revision 1.2 diff -C2 -d -r1.1 -r1.2 *** Changes.txt 12 Mar 2004 00:16:01 -0000 1.1 --- Changes.txt 10 Apr 2004 02:06:27 -0000 1.2 *************** *** 10,13 **** --- 10,19 ---- that opens a python editor. - Added Python properties to projects that have Python nature + - Editor now has a python icon. Icon is ugly, help! + - .pyc files are filtered in the resource view + - Parsing now happens either immediately on return, or a second after the last typing. + This makes error notifications nicer and more predictable Bug fixes: + - Moved parsing so that all pydev parsers use single thread + - \ No newline at end of file Index: plugin.xml =================================================================== RCS file: /cvsroot/pydev/org.python.pydev/plugin.xml,v retrieving revision 1.9 retrieving revision 1.10 diff -C2 -d -r1.9 -r1.10 *** plugin.xml 12 Mar 2004 00:19:05 -0000 1.9 --- plugin.xml 10 Apr 2004 02:06:27 -0000 1.10 *************** *** 1,307 **** <?xml version="1.0" encoding="UTF-8"?> <plugin ! id="org.python.pydev" ! name="Pydev - Python Development Environment" ! version="0.3.0" ! provider-name="AleksTotic" ! class="org.python.pydev.plugin.PydevPlugin"> ! <runtime> ! <library name="pydev.jar"/> ! </runtime> ! <requires> ! <import plugin="org.eclipse.core.resources"/> ! <import plugin="org.eclipse.core.runtime"/> ! <import plugin="org.eclipse.ui"/> ! <import plugin="org.eclipse.ui.editors"/> ! <import plugin="org.eclipse.ui.views"/> ! <import plugin="org.eclipse.ui.workbench.texteditor"/> ! <import plugin="org.eclipse.jface.text"/> ! </requires> <!-- Python editor --> ! <extension point="org.eclipse.ui.editors"> ! <editor ! name="Python Editor" ! icon="icons/sample.gif" ! extensions="py" ! contributorClass="org.eclipse.ui.editors.text.TextEditorActionContributor" ! class="org.python.pydev.editor.PyEdit" ! id="org.python.pydev.editor.PythonEditor"> ! </editor> ! </extension> ! <!-- Python nature --> ! <extension point="org.eclipse.core.resources.natures" ! id="pythonNature" ! name="Python Nature"> ! <runtime> ! <run class="org.python.pydev.plugin.PythonNature"/> ! </runtime> ! </extension> ! ! <extension point="org.eclipse.ui.projectNatureImages"> ! <image ! icon="icons/pythonNature.gif" ! natureId="org.python.pydev.pythonNature" ! id="org.python.pydev.ui.projectNatureImage"> ! </image> ! </extension> ! <!-- Python project properties --> ! <extension point="org.eclipse.ui.propertyPages"> ! <page ! objectClass="org.eclipse.core.resources.IProject" ! name="Python" ! class="org.python.pydev.ui.ProjectProperties" ! id="org.python.pydev.ui.projectProperties"> ! <filter ! name="projectNature" ! value="org.python.pydev.pythonNature"> ! </filter> ! </page> ! </extension> ! <!-- Preference page --> ! <extension ! point="org.eclipse.ui.preferencePages"> ! <page ! name="Pydev" ! class="org.python.pydev.plugin.PydevPrefs" ! id="org.python.pydev.prefs"> ! </page> ! </extension> ! <!-- Editor menus --> ! <extension ! point="org.eclipse.ui.editorActions"> ! <editorContribution ! targetID="org.python.pydev.editor.PythonEditor" ! id="org.python.pydev.editor.editorContribution"> ! <menu ! label="Source" ! path="edit" ! id="org.python.pydev.editor.actions.sourceMenu"> ! <separator ! name="editGroup"> ! </separator> ! <separator ! name="addGroup"> ! </separator> ! </menu> ! <action ! definitionId="org.python.pydev.editor.actions.firstChar" ! label="Goto first char" ! class="org.python.pydev.editor.actions.FirstCharAction" ! menubarPath="org.python.pydev.editor.actions.sourceMenu/editGroup" ! id="org.python.pydev.editor.actions.firstChar"> ! </action> ! <action ! definitionId="org.python.pydev.editor.actions.uncomment" ! label="Uncomment" ! class="org.python.pydev.editor.actions.PyUncomment" ! menubarPath="org.python.pydev.editor.actions.sourceMenu/editGroup" ! id="org.python.pydev.editor.actions.uncomment"> ! </action> ! <action ! definitionId="org.python.pydev.editor.actions.comment" ! label="Comment" ! class="org.python.pydev.editor.actions.PyComment" ! menubarPath="org.python.pydev.editor.actions.sourceMenu/editGroup" ! id="org.python.pydev.editor.actions.comment"> ! </action> ! <action ! definitionId="org.python.pydev.editor.actions.addBlockComment" ! label="Add comment block" ! class="org.python.pydev.editor.actions.PyAddBlockComment" ! menubarPath="org.python.pydev.editor.actions.sourceMenu/addGroup" ! id="org.python.pydev.editor.actions.addBlockComment"> ! </action> ! <action ! definitionId="org.python.pydev.editor.actions.navigation.nextMethod" ! label="Goto next method or class" ! class="org.python.pydev.editor.actions.navigation.PyNextMethod" ! menubarPath="org.python.pydev.editor.actions.sourceMenu/addGroup" ! id="org.python.pydev.editor.actions.navigation.nextMethod"> ! </action> ! <action ! definitionId="org.python.pydev.editor.actions.navigation.previousMethod" ! label="Goto previous method or class" ! class="org.python.pydev.editor.actions.navigation.PyPreviousMethod" ! menubarPath="org.python.pydev.editor.actions.sourceMenu/addGroup" ! id="org.python.pydev.editor.actions.navigation.previousMethod"> ! </action> ! </editorContribution> ! </extension> ! <!-- NOTE: EditorContext part of the targetID was deduced, that is just what Eclipse expects --> <!-- Editor popup menus--> ! <extension ! point="org.eclipse.ui.popupMenus"> ! <viewerContribution ! targetID="org.python.pydev.editor.PythonEditor.EditorContext" ! id="org.python.pydev.editor.popup"> ! <menu ! label="Source" ! id="org.python.pydev.editor.actions.editorPopup"> ! <separator ! name="editGroup"> ! </separator> ! <separator ! name="addGroup"> ! </separator> ! </menu> ! <action ! label="Uncomment" ! class="org.python.pydev.editor.actions.PyUncomment" ! menubarPath="org.python.pydev.editor.actions.editorPopup/editGroup" ! id="org.python.pydev.editor.actions.uncomment"> ! </action> ! <action ! label="Comment" ! class="org.python.pydev.editor.actions.PyComment" ! menubarPath="org.python.pydev.editor.actions.editorPopup/editGroup" ! id="org.python.pydev.editor.actions.comment"> ! </action> ! <action ! label="Add comment block" ! class="org.python.pydev.editor.actions.PyAddBlockComment" ! menubarPath="org.python.pydev.editor.actions.editorPopup/addGroup" ! id="org.python.pydev.editor.actions.addBlockComment"> ! </action> ! <action ! label="Navigate to next method / class" ! class="org.python.pydev.editor.actions.navigation.PyNextMethod" ! menubarPath="org.python.pydev.editor.actions.editorPopup/addGroup" ! id="org.python.pydev.editor.actions.navigation.nextMethod"> ! </action> ! <action ! label="Navigate to previous method / class" ! class="org.python.pydev.editor.actions.navigation.PyPreviousMethod" ! menubarPath="org.python.pydev.editor.actions.editorPopup/addGroup" ! id="org.python.pydev.editor.actions.navigation.previousMethod"> ! </action> ! </viewerContribution> ! </extension> ! <!-- associates commands with keyboard shortcuts --> <!-- Commands --> ! <extension ! point="org.eclipse.ui.commands"> ! <scope ! name="Pydev editor scope" ! parent="org.eclipse.ui.textEditorScope" ! description="Pydev commands" ! id="org.python.pydev.ui.editor.scope"> ! </scope> ! <category ! name="Pydev editor commands" ! description="Pydev editor category" ! id="org.python.pydev.ui.category.source"> ! </category> <!-- command: next method / class--> ! <command ! name="First char" ! description="Goes to the first non space char or first char of the line depending on the cursor position." ! category="org.python.pydev.ui.category.source" ! id="org.python.pydev.editor.actions.firstChar"> ! </command> ! <keyBinding ! string="Home" ! scope="org.python.pydev.ui.editor.scope" ! command="org.python.pydev.editor.actions.firstChar" ! configuration="org.eclipse.ui.defaultAcceleratorConfiguration"> ! </keyBinding> <!-- command: next method / class--> ! <command ! name="Next Method or Class" ! description="Navigates to the next method or class declaration" ! category="org.python.pydev.ui.category.source" ! id="org.python.pydev.editor.actions.navigation.nextMethod"> ! </command> ! <keyBinding ! string="Ctrl+Shift+Arrow_Down" ! scope="org.python.pydev.ui.editor.scope" ! command="org.python.pydev.editor.actions.navigation.nextMethod" ! configuration="org.eclipse.ui.defaultAcceleratorConfiguration"> ! </keyBinding> <!-- command: previous method / class--> ! <command ! name="Previous Method or Class" ! description="Navigates to the previous method or class declaration" ! category="org.python.pydev.ui.category.source" ! id="org.python.pydev.editor.actions.navigation.previousMethod"> ! </command> ! <keyBinding ! string="Ctrl+Shift+Arrow_Up" ! scope="org.python.pydev.ui.editor.scope" ! command="org.python.pydev.editor.actions.navigation.previousMethod" ! configuration="org.eclipse.ui.defaultAcceleratorConfiguration"> ! </keyBinding> <!-- command: block--> ! <command ! name="Add Comment Block" ! description="Creates a python comment block" ! category="org.python.pydev.ui.category.source" ! id="org.python.pydev.editor.actions.addBlockComment"> ! </command> ! <keyBinding ! string="Ctrl+4" ! scope="org.python.pydev.ui.editor.scope" ! command="org.python.pydev.editor.actions.addBlockComment" ! configuration="org.eclipse.ui.defaultAcceleratorConfiguration"> ! </keyBinding> <!-- command: uncomment--> ! <command ! name="Python Uncomment" ! description="Uncomments a python line (Removes # from the beggining of the line)" ! category="org.python.pydev.ui.category.source" ! id="org.python.pydev.editor.actions.uncomment"> ! </command> ! <keyBinding ! string="Ctrl+\" ! scope="org.python.pydev.ui.editor.scope" ! command="org.python.pydev.editor.actions.uncomment" ! configuration="org.eclipse.ui.defaultAcceleratorConfiguration"> ! </keyBinding> ! <keyBinding ! string="Ctrl+Shift+3" ! scope="org.python.pydev.ui.editor.scope" ! command="org.python.pydev.editor.actions.uncomment" ! configuration="org.eclipse.ui.defaultAcceleratorConfiguration"> ! </keyBinding> <!-- command: comment--> ! <command ! name="Python Comment" ! description="Comments a python line (Adds # to beggining of the line)" ! category="org.python.pydev.ui.category.source" ! id="org.python.pydev.editor.actions.comment"> ! </command> ! <keyBinding ! string="Ctrl+/" ! scope="org.python.pydev.ui.editor.scope" ! command="org.python.pydev.editor.actions.comment" ! configuration="org.eclipse.ui.defaultAcceleratorConfiguration"> ! </keyBinding> ! <keyBinding ! string="Ctrl+3" ! scope="org.python.pydev.ui.editor.scope" ! command="org.python.pydev.editor.actions.comment" ! configuration="org.eclipse.ui.defaultAcceleratorConfiguration"> ! </keyBinding> ! </extension> <!-- file type extensions for the team (CVS) --> ! <extension ! point="org.eclipse.team.core.fileTypes"> ! <fileTypes ! type="text" ! extension="py"> ! </fileTypes> ! </extension> ! <extension ! point="org.eclipse.team.core.ignore"> ! <ignore ! enabled="true" ! pattern="*.pyc"> ! </ignore> ! </extension> </plugin> --- 1,318 ---- <?xml version="1.0" encoding="UTF-8"?> <plugin ! id="org.python.pydev" ! name="Pydev - Python Development Environment" ! version="0.3.0" ! provider-name="AleksTotic" ! class="org.python.pydev.plugin.PydevPlugin"> ! <runtime> ! <library name="pydev.jar"/> ! </runtime> ! <requires> ! <import plugin="org.eclipse.core.resources"/> ! <import plugin="org.eclipse.core.runtime"/> ! <import plugin="org.eclipse.ui"/> ! <import plugin="org.eclipse.ui.editors"/> ! <import plugin="org.eclipse.ui.views"/> ! <import plugin="org.eclipse.ui.workbench.texteditor"/> ! <import plugin="org.eclipse.jface.text"/> ! <import plugin="org.eclipse.jdt.ui"/> ! </requires> <!-- Python editor --> ! <extension ! point="org.eclipse.ui.editors"> ! <editor ! name="Python Editor" ! icon="icons/python.gif" ! extensions="py" ! contributorClass="org.eclipse.ui.editors.text.TextEditorActionContributor" ! class="org.python.pydev.editor.PyEdit" ! id="org.python.pydev.editor.PythonEditor"> ! </editor> ! </extension> <!-- Python nature --> ! <extension ! id="pythonNature" ! name="Python Nature" ! point="org.eclipse.core.resources.natures"> ! <runtime> ! <run ! class="org.python.pydev.plugin.PythonNature"> ! </run> ! </runtime> ! </extension> ! <extension ! point="org.eclipse.ui.projectNatureImages"> ! <image ! icon="icons/pythonNature.gif" ! natureId="org.python.pydev.pythonNature" ! id="org.python.pydev.ui.projectNatureImage"> ! </image> ! </extension> <!-- Python project properties --> ! <extension ! point="org.eclipse.ui.propertyPages"> ! <page ! objectClass="org.eclipse.core.resources.IProject" ! name="Python" ! class="org.python.pydev.ui.ProjectProperties" ! id="org.python.pydev.ui.projectProperties"> ! <filter ! name="projectNature" ! value="org.python.pydev.pythonNature"> ! </filter> ! </page> ! </extension> <!-- Preference page --> ! <extension ! point="org.eclipse.ui.preferencePages"> ! <page ! name="Pydev" ! class="org.python.pydev.plugin.PydevPrefs" ! id="org.python.pydev.prefs"> ! </page> ! </extension> <!-- Editor menus --> ! <extension ! point="org.eclipse.ui.editorActions"> ! <editorContribution ! targetID="org.python.pydev.editor.PythonEditor" ! id="org.python.pydev.editor.editorContribution"> ! <menu ! label="Source" ! path="edit" ! id="org.python.pydev.editor.actions.sourceMenu"> ! <separator ! name="editGroup"> ! </separator> ! <separator ! name="addGroup"> ! </separator> ! </menu> ! <action ! definitionId="org.python.pydev.editor.actions.firstChar" ! label="Goto first char" ! class="org.python.pydev.editor.actions.FirstCharAction" ! menubarPath="org.python.pydev.editor.actions.sourceMenu/editGroup" ! id="org.python.pydev.editor.actions.firstChar"> ! </action> ! <action ! definitionId="org.python.pydev.editor.actions.uncomment" ! label="Uncomment" ! class="org.python.pydev.editor.actions.PyUncomment" ! menubarPath="org.python.pydev.editor.actions.sourceMenu/editGroup" ! id="org.python.pydev.editor.actions.uncomment"> ! </action> ! <action ! definitionId="org.python.pydev.editor.actions.comment" ! label="Comment" ! class="org.python.pydev.editor.actions.PyComment" ! menubarPath="org.python.pydev.editor.actions.sourceMenu/editGroup" ! id="org.python.pydev.editor.actions.comment"> ! </action> ! <action ! definitionId="org.python.pydev.editor.actions.addBlockComment" ! label="Add comment block" ! class="org.python.pydev.editor.actions.PyAddBlockComment" ! menubarPath="org.python.pydev.editor.actions.sourceMenu/addGroup" ! id="org.python.pydev.editor.actions.addBlockComment"> ! </action> ! <action ! definitionId="org.python.pydev.editor.actions.navigation.nextMethod" ! label="Goto next method or class" ! class="org.python.pydev.editor.actions.navigation.PyNextMethod" ! menubarPath="org.python.pydev.editor.actions.sourceMenu/addGroup" ! id="org.python.pydev.editor.actions.navigation.nextMethod"> ! </action> ! <action ! definitionId="org.python.pydev.editor.actions.navigation.previousMethod" ! label="Goto previous method or class" ! class="org.python.pydev.editor.actions.navigation.PyPreviousMethod" ! menubarPath="org.python.pydev.editor.actions.sourceMenu/addGroup" ! id="org.python.pydev.editor.actions.navigation.previousMethod"> ! </action> ! </editorContribution> ! </extension> <!-- Editor popup menus--> ! <!-- NOTE: EditorContext part of the targetID was deduced, that is just what Eclipse expects --> ! <extension ! point="org.eclipse.ui.popupMenus"> ! <viewerContribution ! targetID="org.python.pydev.editor.PythonEditor.EditorContext" ! id="org.python.pydev.editor.popup"> ! <menu ! label="Source" ! id="org.python.pydev.editor.actions.editorPopup"> ! <separator ! name="editGroup"> ! </separator> ! <separator ! name="addGroup"> ! </separator> ! </menu> ! <action ! label="Uncomment" ! class="org.python.pydev.editor.actions.PyUncomment" ! menubarPath="org.python.pydev.editor.actions.editorPopup/editGroup" ! id="org.python.pydev.editor.actions.uncomment"> ! </action> ! <action ! label="Comment" ! class="org.python.pydev.editor.actions.PyComment" ! menubarPath="org.python.pydev.editor.actions.editorPopup/editGroup" ! id="org.python.pydev.editor.actions.comment"> ! </action> ! <action ! label="Add comment block" ! class="org.python.pydev.editor.actions.PyAddBlockComment" ! menubarPath="org.python.pydev.editor.actions.editorPopup/addGroup" ! id="org.python.pydev.editor.actions.addBlockComment"> ! </action> ! <action ! label="Navigate to next method / class" ! class="org.python.pydev.editor.actions.navigation.PyNextMethod" ! menubarPath="org.python.pydev.editor.actions.editorPopup/addGroup" ! id="org.python.pydev.editor.actions.navigation.nextMethod"> ! </action> ! <action ! label="Navigate to previous method / class" ! class="org.python.pydev.editor.actions.navigation.PyPreviousMethod" ! menubarPath="org.python.pydev.editor.actions.editorPopup/addGroup" ! id="org.python.pydev.editor.actions.navigation.previousMethod"> ! </action> ! </viewerContribution> ! </extension> <!-- Commands --> ! <!-- associates commands with keyboard shortcuts --> ! <extension ! point="org.eclipse.ui.commands"> ! <scope ! name="Pydev editor scope" ! parent="org.eclipse.ui.textEditorScope" ! description="Pydev commands" ! id="org.python.pydev.ui.editor.scope"> ! </scope> ! <category ! name="Pydev editor commands" ! description="Pydev editor category" ! id="org.python.pydev.ui.category.source"> ! </category> <!-- command: next method / class--> ! <command ! name="First char" ! description="Goes to the first non space char or first char of the line depending on the cursor position." ! category="org.python.pydev.ui.category.source" ! id="org.python.pydev.editor.actions.firstChar"> ! </command> ! <keyBinding ! string="Home" ! scope="org.python.pydev.ui.editor.scope" ! command="org.python.pydev.editor.actions.firstChar" ! configuration="org.eclipse.ui.defaultAcceleratorConfiguration"> ! </keyBinding> <!-- command: next method / class--> ! <command ! name="Next Method or Class" ! description="Navigates to the next method or class declaration" ! category="org.python.pydev.ui.category.source" ! id="org.python.pydev.editor.actions.navigation.nextMethod"> ! </command> ! <keyBinding ! string="Ctrl+Shift+Arrow_Down" ! scope="org.python.pydev.ui.editor.scope" ! command="org.python.pydev.editor.actions.navigation.nextMethod" ! configuration="org.eclipse.ui.defaultAcceleratorConfiguration"> ! </keyBinding> <!-- command: previous method / class--> ! <command ! name="Previous Method or Class" ! description="Navigates to the previous method or class declaration" ! category="org.python.pydev.ui.category.source" ! id="org.python.pydev.editor.actions.navigation.previousMethod"> ! </command> ! <keyBinding ! string="Ctrl+Shift+Arrow_Up" ! scope="org.python.pydev.ui.editor.scope" ! command="org.python.pydev.editor.actions.navigation.previousMethod" ! configuration="org.eclipse.ui.defaultAcceleratorConfiguration"> ! </keyBinding> <!-- command: block--> ! <command ! name="Add Comment Block" ! description="Creates a python comment block" ! category="org.python.pydev.ui.category.source" ! id="org.python.pydev.editor.actions.addBlockComment"> ! </command> ! <keyBinding ! string="Ctrl+4" ! scope="org.python.pydev.ui.editor.scope" ! command="org.python.pydev.editor.actions.addBlockComment" ! configuration="org.eclipse.ui.defaultAcceleratorConfiguration"> ! </keyBinding> <!-- command: uncomment--> ! <command ! name="Python Uncomment" ! description="Uncomments a python line (Removes # from the beggining of the line)" ! category="org.python.pydev.ui.category.source" ! id="org.python.pydev.editor.actions.uncomment"> ! </command> ! <keyBinding ! string="Ctrl+\" ! scope="org.python.pydev.ui.editor.scope" ! command="org.python.pydev.editor.actions.uncomment" ! configuration="org.eclipse.ui.defaultAcceleratorConfiguration"> ! </keyBinding> ! <keyBinding ! string="Ctrl+Shift+3" ! scope="org.python.pydev.ui.editor.scope" ! command="org.python.pydev.editor.actions.uncomment" ! configuration="org.eclipse.ui.defaultAcceleratorConfiguration"> ! </keyBinding> <!-- command: comment--> ! <command ! name="Python Comment" ! description="Comments a python line (Adds # to beggining of the line)" ! category="org.python.pydev.ui.category.source" ! id="org.python.pydev.editor.actions.comment"> ! </command> ! <keyBinding ! string="Ctrl+/" ! scope="org.python.pydev.ui.editor.scope" ! command="org.python.pydev.editor.actions.comment" ! configuration="org.eclipse.ui.defaultAcceleratorConfiguration"> ! </keyBinding> ! <keyBinding ! string="Ctrl+3" ! scope="org.python.pydev.ui.editor.scope" ! command="org.python.pydev.editor.actions.comment" ! configuration="org.eclipse.ui.defaultAcceleratorConfiguration"> ! </keyBinding> ! </extension> <!-- file type extensions for the team (CVS) --> ! <extension ! point="org.eclipse.team.core.fileTypes"> ! <fileTypes ! type="text" ! extension="py"> ! </fileTypes> ! </extension> ! <extension ! point="org.eclipse.team.core.ignore"> ! <ignore ! enabled="true" ! pattern="*.pyc"> ! </ignore> ! </extension> ! <!-- filter out .pyc files in the navigation view --> ! <extension ! point="org.eclipse.ui.resourceFilters"> ! <filter ! selected="True" ! pattern="*.pyc"> ! </filter> ! </extension> ! </plugin> Index: .classpath =================================================================== RCS file: /cvsroot/pydev/org.python.pydev/.classpath,v retrieving revision 1.5 retrieving revision 1.6 diff -C2 -d -r1.5 -r1.6 *** .classpath 12 Mar 2004 00:15:03 -0000 1.5 --- .classpath 10 Apr 2004 02:06:27 -0000 1.6 *************** *** 1,6 **** <?xml version="1.0" encoding="UTF-8"?> <classpath> ! <classpathentry kind="src" path="src/"/> ! <classpathentry kind="con" path="org.eclipse.pde.core.requiredPlugins"/> <classpathentry kind="con" path="org.eclipse.jdt.launching.JRE_CONTAINER"/> <classpathentry kind="output" path="bin"/> --- 1,6 ---- <?xml version="1.0" encoding="UTF-8"?> <classpath> ! <classpathentry kind="src" path="src/"/> ! <classpathentry kind="con" path="org.eclipse.pde.core.requiredPlugins"/> <classpathentry kind="con" path="org.eclipse.jdt.launching.JRE_CONTAINER"/> <classpathentry kind="output" path="bin"/> |
