Page MenuHomePhabricator

IGTNavigationToolManager: ToolStorages and Tools are saved without file extension
Closed, DuplicatePublic

Description

Saving a tool storage or a tool file in NavigationToolManager results in a file without file extension. This leads to problems when loading this file again.