Disable the element type option when using the delete tool
While the Batch deletion switch should available, the Element type batch annotation option makes no sense with the Delete tool.
While the Batch deletion switch should available, the Element type batch annotation option makes no sense with the Delete tool.
added 1 deleted label
assigned to @mlbonhomme
mentioned in merge request !1233 (merged)
mentioned in commit bf3cb85b
closed