Files
openide/python/educational-python/resources/tips/EnterDirectoryInGotoFile.html
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
439 B
HTML

<html>
<head>
<link rel="stylesheet" type="text/css" href="css/tips.css">
</head>
<body>
<p>You can jump directly to any deeply buried file, if you press <span class="shortcut">&shortcut:GotoFile;</span>, and type just a couple
of characters of the enclosing directories and file names: </p>
<p class="image"><img src="images/enterDirectory.png"></p>
<p>Use either a slash or a backslash as a delimiter.</p>
</body>
</html>