The window edge grabber is too small and I cannot find any way to increase it.
Makes it very difficult to grab the edge or corner to resize a window. Changing the border size does not help and would not be a suitable remedy anyway. [email protected] Mesa Arizona USA _______________________________________________ kde-doc-english mailing list [email protected] https://mail.kde.org/mailman/listinfo/kde-doc-english
