mirror of
https://github.com/SELinuxProject/setools
synced 2025-04-01 00:06:19 +00:00
72530ff531
Tab renaming methods: * double click the tab * context menu on tab bar Also: * change initial tab name to include a number based on the total number of tabs that have been opened. * add tool tip to tab of the analysis type. * add explicit close tab function to ensure analysis widgets are deleted. |
||
|---|---|---|
| .. | ||
| apol | ||
| __init__.py | ||
| widget.py | ||