(electric-help): New defgroup.
(electric-help-shrink-window): New user-option. (with-electric-help): Use it.
Showing
Please register or sign in to comment
(electric-help-shrink-window): New user-option. (with-electric-help): Use it.