jedit. useful features
Post on 20-Jan-2016
219 Views
Preview:
TRANSCRIPT
jEdit
http://www.jedit.org/
Useful Features
Copy-and-Paste
1. Regular copy and paste• Ctrl + c• Ctrl + v
2. Saved list: Ctrl + e + v
3. Register copy and paste• Ctrl + r + c x• Ctrl + r + v x
Global Options• Word-wrap• Line numbers
• Customize shortcuts
Useful shortcuts:• Toggle Word-Wrap• Buffer Switcher
Navigation Shortcuts• Ctrl + PageUp = Previous Buffer• Ctrl + PageDown = Next Buffer
Finding Plug-ins
http://plugins.jedit.org/
Useful Plug-ins• Side-Kick• Vox Spell•Text Tools•Buffer Tabs• Sudoku
Change Plug-in Options
Questions?
top related