/jEdit/tags/jedit-4-2-pre4/doc/tips/tip87.html

# · HTML · 13 lines · 11 code · 2 blank · 0 comment · 0 complexity · 566eaf76c09bb951e4911693a3c2c5b2 MD5 · raw file

  1. <html><body>If you have a mouse with a scroll wheel and are running Java 2
  2. version 1.4, you can use the
  3. wheel to scroll up and down in the text area. Various modifier keys
  4. change the action of the wheel:
  5. <ul>
  6. <li><b>Shift</b> - scrolls an entire page at a time.
  7. <li><b>Control</b> - scrolls a single line at a time.
  8. <li><b>Alt</b> - moves the caret up and down instead of scrolling.
  9. <li><b>Alt-Shift</b> - extends the selection up and down instead of scrolling.
  10. </ul>
  11. </body></html>