mirror of
https://github.com/pgadmin-org/pgadmin4.git
synced 2025-02-25 18:55:31 -06:00
- Opening a file should set the tab name to the filename - Editing a file should add a * to the tab name to indicate the file is dirty - Saving changes to a file should clear the * - The Save button should have a drop-down menu, with a Save As option.