215216217218219220221222223224225
if( newBridge == null ){ setting.fonts.remove( kind ); if( oldBridge != null ){ fonts.unpublish( Priority.DEFAULT, kind ); } } else{ setting.fonts.put( kind, newBridge ); fonts.publish( Priority.DEFAULT, kind, newBridge );
324325326327328329330331332333334
colors.unpublish( Priority.DEFAULT, bridge ); } FontManager fonts = controller.getFonts(); for( FontBridge bridge : settings.fonts.values() ){ fonts.unpublish( Priority.DEFAULT, bridge ); } } } for( DockThemeExtension extension : extensions ){