4077 """ |
4077 """ |
4078 Private method to set a user style sheet. |
4078 Private method to set a user style sheet. |
4079 |
4079 |
4080 @param styleSheetFile name of the user style sheet file (string) |
4080 @param styleSheetFile name of the user style sheet file (string) |
4081 """ |
4081 """ |
4082 # TODO: AdBlock |
4082 userStyle = \ |
4083 userStyle = "" |
4083 self.adBlockManager().elementHidingRules().replace('"', '\\"') |
4084 ## userStyle = \ |
|
4085 ## self.adBlockManager().elementHidingRules().replace('"', '\\"') |
|
4086 |
4084 |
4087 userStyle += WebBrowserTools.readAllFileContents(styleSheetFile)\ |
4085 userStyle += WebBrowserTools.readAllFileContents(styleSheetFile)\ |
4088 .replace("\n", "") |
4086 .replace("\n", "") |
4089 name = "_eric_userstylesheet" |
4087 name = "_eric_userstylesheet" |
4090 |
4088 |