Page MenuHomePhabricator

Destinct tool names for segmetation tools
Closed, ResolvedPublic

Description

Some of the segmentation tools begin with the same letter. This is a problem because the first letter is used to create a keyboard short cut for the tools. This does not work anymore in such a case

Event Timeline

[ed09b5]: Merge branch 'bug-16137-destinct-tool-names'

Merged commits:

2013-09-24 11:40:06 Andreas Fetzer [e800cc]
Changed toolnames so that they start with different letters