(electric-help-shrink-window): New user-option. (with-electric-help): Use it.
Attach a file by drag & drop or click to upload