Revision 7da6a2cb
ID | 7da6a2cb6974826aabc426a585632b1157ffbf4d |
Parent | 4e51084c |
Child | 413c16d3 |
Bug #4135: Remove the settings button when the tab is disabled
(cherry picked from commit 13cd7c7989ecada3428fea7c6c646ccdefc7bb81)
Files
- added
- modified
- copied
- renamed
- deleted