products/sources/formale sprachen/Isabelle/Tools/jEdit/dist/doc/tips/tip75.html |
 |
<html><body>
If <b>quick copy</b> is enabled in
the <b>Mouse</b> pane of the <b>Utilities</b>><b>Global
Options</b> dialog box, dragging with the middle mouse button over some text
inserts that text at the previous caret position.<p>
This feature has some additional behavior you might not expect:
<ul>
<li>It can be used to transfer text between edit panes in a split view.
<li>Holding down <b>Shift</b> while clicking the middle mouse button immediately duplicates all text between the caret position and the clicked location.
<li>If there already is a selection when you start middle-dragging, the selection
will be replaced with the region you marked with the mouse.</li>
<li>Holding down <b>Control</b> while dragging the middle mouse button marks a
rectangular area, and pastes it vertically at the caret location (or into the
current selection).</li>
</ul>
</body></html>
¤ Dauer der Verarbeitung: 0.14 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.
|