(String attribute)
| 192 | |
| 193 | |
| 194 | static public SyntaxStyle getStyle(String attribute) { |
| 195 | //String str = Preferences.get("editor.token." + attribute + ".style"); |
| 196 | String str = theme.get("editor.token." + attribute + ".style"); |
| 197 | if (str == null) { |
| 198 | throw new IllegalArgumentException("No style found for " + attribute); |
| 199 | } |
| 200 | return SyntaxStyle.fromString(str); |
| 201 | } |
| 202 | |
| 203 | |
| 204 | static public Image makeGradient(String attribute, int wide, int high) { |
no test coverage detected