Skip to content

Remove default mark type concept

Eric Armbruster requested to merge work/eric/remove-default-mark-type into master

Right now setting multiple editable marks via the mark interface does not have any impact, as bookmark is always the default mark type. Effectively, this prevents opening the context menu which lets users choose the mark to apply to a line.

A default mark type concept is not needed:

  • if there is only one editable mark set, do not show a context menu directly set this mark
  • if there is multiple editable marks set, always let the user choose via the context menu

In Kate this will mean an additional click for bookmark users if they have the GDB plugin enabled.

As a consequence, this commit removes the default mark type concept.

Merge request reports