Index of /CompLangs/Isabelle2023/contrib/jedit-20211103/jedit5.6.0-patched/macros/Editing
Parent Directory
Duplicate_Lines_Above.bsh
Duplicate_Lines_Below.bsh
Go_to_Column.bsh
Go_to_Offset.bsh
Greedy_Backspace.bsh
Greedy_Delete.bsh
Greedy_Left.bsh
Greedy_Right.bsh
Keywords_to_Upper_Case.bsh
Mode_Switcher.bsh
Move_Lines_Down.bsh
Move_Lines_Up.bsh
Open_Line_Above.bsh
Open_Line_Below.bsh
Toggle_Fold.bsh