Changes between Version 4 and Version 5 of 2018-11-01

Timestamp:

Nov 13, 2018, 4:42:41 PM (7 years ago)

Author:

Eric Pettersen

Comment:

--

2018-11-01

@@ -45 +45 @@
   - {{{ui.htmltool}}} [Conrad]
   - {{{ui.widgets.htmlview}}} [Conrad]
-  - {{{ui.font}}}
+  - ~~{{{ui.font}}}~~
   - {{{ui.cmd}}}
   - {{{ui.mousemodes}}}