public final void setOperatorColor(final Color color) {
    setThemeColor("operator", color);
  }
Sets and gets the syntax highlighting color values and font settings for the UI.
java/ui/src/main/java/com/google/security/zynamics/bindiff/config/ThemeConfigItem.java