« Previous | Next » 

Revision 7da6a2cb

ID7da6a2cb6974826aabc426a585632b1157ffbf4d
Parent 4e51084c
Child 413c16d3

Added by Carlos Martín over 5 years ago

Bug #4135: Remove the settings button when the tab is disabled

(cherry picked from commit 13cd7c7989ecada3428fea7c6c646ccdefc7bb81)

Files

  • added
  • modified
  • copied
  • renamed
  • deleted

View differences