default MenuBar menu background color
authorhansonr <hansonr@stolaf.edu>
Sun, 24 Jun 2018 07:09:48 +0000 (08:09 +0100)
committerhansonr <hansonr@stolaf.edu>
Sun, 24 Jun 2018 07:09:48 +0000 (08:09 +0100)
set to lighter grey to match Frame color (#EEEEEE) in
HTMLLookAndFeel.java


No differences found