https://bugs.kde.org/show_bug.cgi?id=373301
--- Comment #5 from Enrique Artal <ar...@unizar.es> --- (In reply to merlin from comment #3) > Sorry, I still cannot confirm this. > > I followed your example and saved the changed usermenu. Restarting kile, > opening the usermenu dialog and selecting the added entry, two checkboxes > are checked like I defined it. > > What is your system you are working on? I am using Fedora 25, fully updated, using also the kde-redhat repository and my version of kile comes from http://compsci.cas.vanderbilt.edu/Fedora/local/; the owner updates kile quite often and I use the src.rpm file to compile it. The user menu works correctly; I attach the user menu edit window I get. The checkboxes are not checked but I do not save it it works as expected. Thanks for your interest -- You are receiving this mail because: You are watching all bug changes.
