Files
openide/python/educational-python/resources/tips/GoToClass.html
T
Valentina Kiryushkina 7e5a5b849a Rename educational plugins and update plugin's description
edu --> educational-python
educational --> educational-core
interactive-learning --> student
2016-01-26 19:36:12 +03:00

17 lines
696 B
HTML

<html>
<head>
<link rel="stylesheet" type="text/css" href="../../../python-community-ide-resources/resources/tips/css/tips.css">
</head>
<body>
<p>
To open any class in the editor quickly, press <span class="shortcut">&shortcut:GotoClass;</span>
(<span class="control">Navigate | Class</span>)
and start typing the name of the class. Choose the class from a drop-down list that appears.</p>
<p class="image">
<img src="images/goto_class.png"></p>
<p>
You can open any file in your project in a similar way by using <span class="shortcut">&shortcut:GotoFile;</span>
(<span class="control">Navigate | File</span>)</p>
</body>
</html>