()
| 352 | /** |
| 353 | * Injects css into the text editor. For example '_.textEditor.injectCSS("body {font-size:20px;}"' will give you a markedly bigger font. |
| 354 | */ |
| 355 | public void injectCSS(String css) { |
| 356 | browser_.injectCSS(css); |
| 357 | } |
| 358 | |
| 359 | /** |
| 360 | * Executes some javascript directly in the text editor. For larger amounts of TextEditor coding, mark a box as "Bridge to Editor" with the command menu. |
| 361 | */ |
| 362 | public void executeJavaScript(String js) { |
| 363 | browser_.executeJavaScript_queued(js); |
| 364 | } |