Add a `Delete` button to the GUI NavBar, and cleanup deletion callbacks.
[hooke.git] / hooke / ui / gui / panel /
drwxr-xr-x   ..
-rw-r--r-- 1823 __init__.py
-rw-r--r-- 7001 commands.py
-rw-r--r-- 1703 note.py
-rw-r--r-- 1454 notebook.py
-rw-r--r-- 1870 output.py
-rw-r--r-- 13678 playlist.py
-rw-r--r-- 13298 plot.py
-rw-r--r-- 19777 propertyeditor-propgrid.py
-rw-r--r-- 9730 propertyeditor.py
-rw-r--r-- 4036 selection.py
-rw-r--r-- 2057 welcome.py