Commit [r23651] Maximize Restore History

make TextArea a JPanel instead of a JComponent and set its background color to the gutter background color

this way the background does not shine through if not all components are set in the TextArea, which would e. g. mean grey corners with standard EditPane, blue corners with BufferTabs

vampire0 2014-08-13

changed /jEdit/trunk/org/gjt/sp/jedit/EditPane.java
changed /jEdit/trunk/org/gjt/sp/jedit/textarea/TextArea.java
/jEdit/trunk/org/gjt/sp/jedit/EditPane.java Diff Switch to side-by-side view
Loading...
/jEdit/trunk/org/gjt/sp/jedit/textarea/TextArea.java Diff Switch to side-by-side view
Loading...