Subject: Re: bug#15703: [PATCH 1/8] EWW: Support user defined representation for checkbox.

From: Ted Zlatanov <[email-masked]>
Date: Fri, 25 Oct 2013 11:00:20 -0400

On Fri, 25 Oct 2013 01:43:17 +0200 Rüdiger Sonderfeld <[email-masked]> wrote: 

RS> +(defcustom eww-form-checkbox-selected-symbol "[X]"
RS> +  "Symbol used to represent a selected checkbox.
RS> +See also `eww-form-checkbox-symbol'."
RS> +  :version "24.4"
RS> +  :group 'eww
RS> +  :type '(choice (const "[X]")
RS> +                 (const "☒")            ; Unicode BALLOT BOX WITH X
RS> +                 (const "☑")            ; Unicode BALLOT BOX WITH CHECK
RS> +                 string))
RS> +
RS> +(defcustom eww-form-checkbox-symbol "[ ]"
RS> +  "Symbol used to represent a checkbox.
RS> +See also `eww-form-checkbox-selected-symbol'."
RS> +  :version "24.4"
RS> +  :group 'eww
RS> +  :type '(choice (const "[ ]")
RS> +                 (const "☐")            ; Unicode BALLOT BOX
RS> +                 string))
RS> +

This seems very specific just for eww... maybe it should just use the recently
added `prettify-symbols-mode'?

Ted