Re: [elinks-dev] [PATCH 09/10] Add preferred_document_width option.

2009-05-15 Thread أحمد المحمودي
Had to fix patches #5 and again #9 (the caption string of options shouldn't end with '.') -- ‎أحمد المحمودي (Ahmed El-Mahmoudy) Digital design engineer GPG KeyID: 0x9DCA0B27 (@ subkeys.pgp.net) GPG Fingerprint: 087D 3767 8CAC 65B1 8F6C 156E D325 C3C8 9DCA 0B27 Provide different color for t

Re: [elinks-dev] [PATCH 04/10] Added option to change colors of HTML forms.

2009-05-15 Thread Miciah Dashiel Butler Masters
On 05/13/2009 12:01 AM, elinks-dev-boun...@linuxfromscratch.org wrote: > Settings are specified by > > document.colors.form > document.colors.use_form_color > > The latter setting determines whether the color is used when document > colors are being used. Have you considered using CSS? Set