https://bugs.kde.org/show_bug.cgi?id=373301
--- Comment #11 from Enrique Artal <ar...@unizar.es> --- (In reply to Michel Ludwig from comment #10) > Git commit 2df62e86ac4b14e65d987db93e2ef050e6bf61f7 by Michel Ludwig. > Committed on 29/01/2017 at 09:39. > Pushed by mludwig into branch 'master'. > > Fix enabling/disabling of checkboxes in the user menu dialog > > Also improve the documentation of the user menu a little. > > Patch by Fritz Meier > > M +14 -0 doc/usermenu.docbook > A +- -- doc/usermenu_11b.png > M +5 -0 src/dialogs/usermenu/usermenudialog.cpp > > https://commits.kde.org/kile/2df62e86ac4b14e65d987db93e2ef050e6bf61f7 Thanks (to Fritz and Michel!) -- You are receiving this mail because: You are watching all bug changes.