Example #1
0
  public void updateMode() {
    Mode mode = editor.getMode();

    textColor[SELECTED] = mode.getColor("footer.text.selected.color");
    textColor[UNSELECTED] = mode.getColor("footer.text.unselected.color");
    font = mode.getFont("footer.text.font");

    tabColor[SELECTED] = mode.getColor("footer.tab.selected.color");
    tabColor[UNSELECTED] = mode.getColor("footer.tab.unselected.color");

    updateColor = mode.getColor("footer.updates.color");

    gradient = mode.makeGradient("footer", 400, HIGH);
  }
Example #2
0
  public void updateMode() {
    Mode mode = editor.getMode();
    bgcolor =
        new Color[] {
          mode.getColor("status.notice.bgcolor"),
          mode.getColor("status.error.bgcolor"),
          mode.getColor("status.edit.bgcolor")
        };

    fgcolor =
        new Color[] {
          mode.getColor("status.notice.fgcolor"),
          mode.getColor("status.error.fgcolor"),
          mode.getColor("status.edit.fgcolor")
        };

    font = mode.getFont("status.font");
    metrics = null;
  }