From 277bcec7c6234823390903087dd553c9838c013c Mon Sep 17 00:00:00 2001 From: Vincent Sanders Date: Fri, 10 Jan 2014 14:32:29 +0000 Subject: stop system colours being anything to do with frontends --- desktop/gui.h | 9 --------- 1 file changed, 9 deletions(-) (limited to 'desktop/gui.h') diff --git a/desktop/gui.h b/desktop/gui.h index 26a9f4b43..9317e8576 100644 --- a/desktop/gui.h +++ b/desktop/gui.h @@ -169,13 +169,4 @@ void gui_cert_verify(nsurl *url, const struct ssl_cert_info *certs, */ nsurl* gui_get_resource_url(const char *path); -/** css callback to obtain named system colours from a frontend. */ -css_error gui_system_colour(void *pw, lwc_string *name, css_color *color); - -/** Obtain a named system colour from a frontend. */ -colour gui_system_colour_char(const char *name); - -bool gui_system_colour_init(void); -void gui_system_colour_finalize(void); - #endif -- cgit v1.2.3