code: def refresh(self):
          
          logger.debug('Refresh panels')
          self.resize()
          self._update(self.editor.contentsRect(), 0,
                       force_update_margins=True)
docs: Refreshes the editor panels (resize and update margins).