Page MenuHomePhabricator

NavigationToolManager: Saving a Tool file does not add proper file ending in Linux
Closed, ResolvedPublic

Description

Create a tool and save it via the Navigation tool manager. In Linux, no file ending will be added. It should be ".IGTTool".