[konsole] [Bug 456602] No edit option for profiles

kevin bugzilla_noreply at kde.org
Mon Jul 11 23:59:13 BST 2022


https://bugs.kde.org/show_bug.cgi?id=456602

--- Comment #1 from kevin <pilotgi at gmail.com> ---
I suppose this could be listed under the fonts category also. Currently, no way
to save font size changes.

-- 
You are receiving this mail because:
You are the assignee for the bug.


More information about the konsole-devel mailing list