(String name)
| 330 | |
| 331 | |
| 332 | static public Color getColor(String name) { |
| 333 | Color parsed = Color.GRAY; // set a default |
| 334 | String s = get(name); |
| 335 | if ((s != null) && (s.indexOf("#") == 0)) { //$NON-NLS-1$ |
| 336 | try { |
| 337 | parsed = new Color(Integer.parseInt(s.substring(1), 16)); |
| 338 | } catch (Exception e) { } |
| 339 | } |
| 340 | return parsed; |
| 341 | } |
| 342 | |
| 343 | |
| 344 | static public void setColor(String attr, Color what) { |
no test coverage detected