Advertisement
Not a member of Pastebin yet?
Sign Up,
it unlocks many cool features!
- browser.addProgressListener(new ProgressAdapter() {
- @Override
- public void completed(ProgressEvent event) {
- Color back = tabFolder.getBackground();
- browser.execute("document.body.style.background = 'rgb("
- + back.getRed() + ", " + back.getGreen() + ", "
- + back.getBlue() + ")';");
- FontData fontData = Display.getCurrent().getSystemFont()
- .getFontData()[0];
- browser.execute("for ( i = 0; i < document.all.length; i++) {"
- + "document.all[i].style.fontFamily = \""
- + fontData.getName() + "\";"
- + "document.all[i].style.fontSize = "
- + fontData.getHeight() + ";" + "}");
- }
- });
Advertisement
Add Comment
Please, Sign In to add comment
Advertisement