1 Commits

Author SHA1 Message Date
Lawrence Lee
453fb961f2 Create a preferences widget for external editors
The widget is intended to be embedded in the preferences dialog. It
displays a list of external editors using an icon, name, and command for
each editor. The name and command can be edited. Editors can be added,
removed, and rearranged. A button allows one to set an editor's
information by selecting from a list of installed applications.
2021-03-28 18:12:47 -07:00