docs: def refresh(self):
          """ Refreshes the editor panels (resize and update margins) """
          _logger().log(5, 'refresh_panels')
          self.resize()
          self._update(self.editor.contentsRect(), 0,
                       force_update_margins=True)