Revision 13cd7c79
ID | 13cd7c7989ecada3428fea7c6c646ccdefc7bb81 |
Parent | 9ac387cc |
Child | 1f642ac2 |
Bug #4135: Remove the settings button when the tab is disabled
Files
- added
- modified
- copied
- renamed
- deleted
ID | 13cd7c7989ecada3428fea7c6c646ccdefc7bb81 |
Parent | 9ac387cc |
Child | 1f642ac2 |
Added by Carlos MartÃn over 5 years ago
Bug #4135: Remove the settings button when the tab is disabled