aboutsummaryrefslogtreecommitdiff
path: root/editors/mp/pkg-message
diff options
context:
space:
mode:
authorJason E. Hale <jhale@FreeBSD.org>2019-03-21 23:53:16 +0000
committerJason E. Hale <jhale@FreeBSD.org>2019-03-21 23:53:16 +0000
commit3eb7289d1cb94658f5b03370e5e6e5262b5045a5 (patch)
tree7af0ab83871fc62c2086e6ee9bb5b821df3825a4 /editors/mp/pkg-message
parent5c15514b8f595f990ffed592145772c0345a3f09 (diff)
downloadports-3eb7289d1cb94658f5b03370e5e6e5262b5045a5.tar.gz
ports-3eb7289d1cb94658f5b03370e5e6e5262b5045a5.zip
editors/mp: Update to 5.31
- LICENSE was changed from GPLv2 to a Public Domain license - UI options have been reconfigured so that if the user installs a GUI (GTK2, GTK3, or QT5), mp-5 is also usable in the console via the NCURSES or ANSI options - mpsl and supporting data are no longer installed, but rather compiled into the mp-5 binary - Add pkg-message to explain the GUI color scheme change and how to revert to the previous color scheme if so desired
Notes
Notes: svn path=/head/; revision=496519
Diffstat (limited to 'editors/mp/pkg-message')
-rw-r--r--editors/mp/pkg-message23
1 files changed, 23 insertions, 0 deletions
diff --git a/editors/mp/pkg-message b/editors/mp/pkg-message
new file mode 100644
index 000000000000..1009f6dd7eb1
--- /dev/null
+++ b/editors/mp/pkg-message
@@ -0,0 +1,23 @@
+=========================================================================
+
+The default color scheme for GUI drivers changed in version 5.30 to a
+dark background and softer colors. If you want to revert to the classic
+bright colors on white background theme, edit the configuration file
+(File -> Edit configuration file) and copy and paste the following:
+
+ /* Minimum Profit Classic Colors */
+ mp.colors.normal.gui = [ 0x000000, 0xffffff ];
+ mp.colors.cursor.gui = mp.colors.normal.gui;
+ mp.colors.selection.gui = [ 0xff0000, 0xffffff ];
+ mp.colors.comments.gui = [ 0x00cc77, 0xffffff ];
+ mp.colors.documentation.gui = [ 0x8888ff, 0xffffff ];
+ mp.colors.quotes.gui = [ 0x0000ff, 0xffffff ];
+ mp.colors.matching.gui = [ 0x000000, 0xffff00 ];
+ mp.colors.word1.gui = [ 0x00aa00, 0xffffff ];
+ mp.colors.word2.gui = [ 0xff6666, 0xffffff ];
+ mp.colors.word3.gui = [ 0x000088, 0xffffff ];
+ mp.colors.tag.gui = [ 0x8888ff, 0xffffff ];
+ mp.colors.spell.gui = [ 0xff8888, 0xffffff ];
+ mp.colors.search.gui = [ 0x000000, 0x00cc77 ];
+
+=========================================================================