| products/Sources/formale Sprachen/Isabelle/Tools/jEdit/dist/jEdit/doc/tips/tip89.html |
 |
<html><body>
In jEdit 4.1, the "indent on enter" and "indent on tab"
settings were removed. Now, the behavior of the <b>ENTER</b> and <b>TAB</b> keys
can be configured in the <b>Shortcuts</b> pane of the <b>Global Options</b> dialog
box, just as with any other key. The <b>ENTER</b> key can be bound to one of
the following commands, for example:
<ul>
<li><b>Insert Newline</b>
<li><b>Insert Newline and Indent</b> (default)
</ul>
The <b>TAB</b> key can be bound to one of these commands:
<ul>
<li><b>Insert Tab</b>
<li><b>Insert Tab or Indent</b> (default)
<li><b>Indent Selected Lines</b>
</ul>
Custom behavior can also be implemented by binding these keys to
macros, etc.
</body>
</html>
¤ Dauer der Verarbeitung: 0.15 Sekunden
(vorverarbeitet)
¤
|
Haftungshinweis
Die Informationen auf dieser Webseite wurden
nach bestem Wissen sorgfältig zusammengestellt. Es wird jedoch weder Vollständigkeit, noch Richtigkeit,
noch Qualität der bereit gestellten Informationen zugesichert.
Bemerkung:
Die farbliche Syntaxdarstellung ist noch experimentell.
|
