Revize ba652858
Přidáno uživatelem Michal Horký před asi 4 roky(ů)
| project/Deserializer/src/Editor.java | ||
|---|---|---|
| 47 | 47 |
editor = (JSObject) ace.call("edit", "editor");
|
| 48 | 48 |
session = (JSObject) editor.call("getSession");
|
| 49 | 49 |
|
| 50 |
// Slower scrolling. |
|
| 51 |
editor.call("setScrollSpeed", ".5");
|
|
| 52 |
|
|
| 50 | 53 |
session.call("setUseWorker", false);
|
| 51 | 54 |
editor.call("setReadOnly", true);
|
| 52 | 55 |
|
Také k dispozici: Unified diff
re #7950
release pro zákazníka