The Hide Effect Configuration 'Should the tooltip remain or dissapear' setting isn't used, because settings['hide']['fixed'] = true is set in menu_minipanels.js.

CommentFileSizeAuthor
#1 removehardcodedsetting-1337742-1.patch1014 bytesFreddieK

Comments

FreddieK’s picture

FreddieK commented
StatusFileSize
new removehardcodedsetting-1337742-1.patch1014 bytes

Here's a patch that removes that line from the file so that the setting work.