theme bug fixes

This commit is contained in:
dragonmacher
2022-12-09 12:21:44 -05:00
parent 47a4fbcd45
commit 2ef310b25f
2 changed files with 4 additions and 3 deletions
@@ -30,9 +30,9 @@ color.fg.infopanel.version = color.fg
color.fg.interpreterpanel = color.fg
color.fg.interpreterpanel.error = color.fg.error
color.fg.listing.highlighter.default = yellow
color.fg.listing.highlighter.scoped.read = rgb(204,204, 0)
color.fg.listing.highlighter.scoped.write = green
color.bg.listing.highlighter.default = yellow
color.bg.listing.highlighter.scoped.read = rgb(204,204, 0)
color.bg.listing.highlighter.scoped.write = green
color.bg.markerservice = color.bg
@@ -63,6 +63,7 @@ public class PcodeFieldFactory extends FieldFactory {
formatter = new AttributedStringPcodeFormatter();
setOptions(fieldOptions);
formatter.setFontMetrics(getMetrics());
}
@Override