In article
<[email protected]>,
   Chris Young <[email protected]> wrote:

> Shouldn't we be using gui_system_colour_char() to get system colours

Yes, now fixed.  Thanks!

-- 

Michael Drake (tlsa)                  http://www.netsurf-browser.org/

Reply via email to