-
Robert Knight authored
Update profile shortcuts in the menus immediately when they are changed in the 'Manage Profiles' dialog. Previously the changes did not take effect until a new window was created. svn path=/trunk/KDE/kdebase/apps/konsole/; revision=756866
35556fdb