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

8.7 KiB

Raw Blame History

View Raw