docs: def remove_marker(self, marker):
          """
          Removes a marker from the panel
  
          :param marker: Marker to remove
          :type marker: pyqode.core.Marker
          """
          self._markers.remove(marker)
          self._to_remove.append(marker)
          if hasattr(marker, 'decoration'):
              self.editor.decorations.remove(marker.decoration)
          self.repaint()