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; }