Llamar a render() en PanelManager rompe el gestor de estilo

En lugar del #540, estoy intentando eliminar manualmente un botón del panel de opciones, con esto:

Sea pnm = editor. Paneles;
pnm.getPanel('options').get('buttons').remove(pnm.getButton('options', 'gjs-open-import-plantilla'));
pnm.render()

Esto funciona bien, el botón desaparece, pero el 'pnm.render()' parece romper el gestor de estilos, ya que deja de responder. Nada de lo demás parece romperse, solo el estilo. ¿Es un problema que estoy introduciendo o un bug?

¡Gracias!