[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
bug#33566: [PATCH] RE: bug#33566: 26; `group' :type for defcustom
|
From: |
Drew Adams |
|
Subject: |
bug#33566: [PATCH] RE: bug#33566: 26; `group' :type for defcustom |
|
Date: |
Sat, 22 Dec 2018 15:35:40 -0800 (PST) |
ping. Could someone please consider committing
this patch. Thx.
> I think the patch below fixes the code bug.
> diff -u wid-edit.el wid-edit-2018-12-03a-patched.el
> --- wid-edit.el 2018-12-03 12:37:30.626331700 -0800
> +++ wid-edit-2018-12-03a-patched.el 2018-12-03 12:43:05.440329000 -0800
> @@ -2746,7 +2746,7 @@
> "A widget which groups other widgets inside."
> :convert-widget 'widget-types-convert-widget
> :copy 'widget-types-copy
> - :format "%v"
> + :format ":\n%v"
> :value-create 'widget-group-value-create
> :value-get 'widget-editable-list-value-get
> :default-get 'widget-group-default-get