blob: 902b7a639569fed1e7a85fec30c64dd5515f44fb (
plain) (
blame)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
|
[
{ type: install
message: <<EOM
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 ];
EOM
}
]
|
