Index of /CompLangs/Isabelle2023/contrib/jedit-20211103/jedit5.6.0-patched/jEdit/macros/Files
Parent Directory
Browse_Buffer_Directory.bsh
Browse_Directory.bsh
Buffer_Switcher.bsh
Copy_Name_to_Clipboard.bsh
Copy_Path_to_Clipboard.bsh
Delete_Current.bsh
Duplicate_Buffer.bsh
Glob_Close.bsh
Insert_Selection.bsh
Next_Dirty_Buffer.bsh
Open_Path.bsh
Open_Selection.bsh
Open_Selection_In_Desktop.bsh
Send_Buffer_To_Next_Split.bsh
Toggle_ReadOnly.bsh