Andrew Hamilton 80c05a1dfd editor: Do redo the emacs way ... - Less surprising for emacs users. - Safer since doesn't lose any history when editing after undoing.		2022-04-29 19:32:05 +10:00
..
__init__.py	editor: Add a class and function browser	2022-04-19 11:23:32 +10:00
editor.py	editor: Do redo the emacs way	2022-04-29 19:32:05 +10:00