Add a `Delete` button to the GUI NavBar, and cleanup deletion callbacks.
[hooke.git] / hooke / ui / gui / perspectives /
drwxr-xr-x   ..
-rw-r--r-- 2172 Default.txt