289290291292293294295296297298299
bridge ); settings.colors.put( entry.getKey(), bridge ); } } finally{ colors.unlockUpdate(); } FontManager fonts = controller.getFonts(); try{ fonts.lockUpdate();
302303304305306307308309310311312
fonts.publish( Priority.DEFAULT, entry.getKey(), bridge ); settings.fonts.put( entry.getKey(), bridge ); } } finally{ fonts.unlockUpdate(); } controllers.add( settings ); }