 |
tUnset previous user styles before applying another one - surf - customized bui… |
 |
git clone git://src.adamsgaard.dk/surf |
 |
Log |
|
Files |
|
Refs |
|
README |
|
LICENSE |
|
--- |
|
commit a1328457cff30dc678a1b8e80dc44ddb73ce293c |
|
parent 25652669ef1fc4c0024542c5d7a90a58ba99bcbd |
|
Author: Quentin Rameau <[email protected]> |
|
Date: Thu, 18 May 2017 16:42:59 +0200 |
|
|
|
Unset previous user styles before applying another one |
|
|
|
Diffstat: |
|
M surf.c | 5 ++--- |
|
|
|
1 file changed, 2 insertions(+), 3 deletions(-) |
|
--- |
|
diff --git a/surf.c b/surf.c |
|
t@@ -782,11 +782,10 @@ setparameter(Client *c, int refresh, ParamName p, const … |
|
WEBKIT_TLS_ERRORS_POLICY_IGNORE); |
|
break; |
|
case Style: |
|
+ webkit_user_content_manager_remove_all_style_sheets( |
|
+ webkit_web_view_get_user_content_manager(c->view)); |
|
if (a->b) |
|
setstyle(c, getstyle(geturi(c))); |
|
- else |
|
- webkit_user_content_manager_remove_all_style_sheets( |
|
- webkit_web_view_get_user_content_manager(c->view)); |
|
refresh = 0; |
|
break; |
|
case ZoomLevel: |
