aboutsummaryrefslogblamecommitdiff
path: root/editors/mp/pkg-message
blob: 902b7a639569fed1e7a85fec30c64dd5515f44fb (plain) (tree)
1
2
3


                


















                                                                       


   
[
{ 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
}
]