eight
dc988a413e
Revert: editors
2017-09-16 08:44:56 +08:00
eight
4d6f856473
Revert "Add: scroll the editor when cursor is outside of the editor"
...
This reverts commit 5a9ac5ce7d
.
2017-09-16 07:33:12 +08:00
tophf
9210d55438
manage: unlimited height of expanded applies-to
2017-09-15 13:52:21 +03:00
eight
a73493d5d2
Add: make applies-to line widget editable
2017-09-15 17:13:58 +08:00
eight
693a0483e3
Add: offset info
2017-09-15 15:36:44 +08:00
eight
ccb5f488e5
Fix: move to new format
2017-09-15 14:11:58 +08:00
eight
eaf33afbe3
Rewrite parser, add uso preprocessor
2017-09-15 13:40:04 +08:00
eight
21256e32f7
Fix: wrap long line
2017-09-15 08:11:18 +08:00
eight
5a9ac5ce7d
Add: scroll the editor when cursor is outside of the editor
2017-09-15 07:47:44 +08:00
eight
553cc94bc8
Fix: style install button
2017-09-15 01:30:26 +08:00
eight
a542d227ec
Fix: adjust install page layout
2017-09-14 11:06:32 +08:00
eight
70bbc08ee0
Add editor.appliesToLineWidget option
2017-09-14 09:58:22 +08:00
eight
2ba4c4f11b
Fix: remove debounce dependency
2017-09-14 09:15:58 +08:00
eight
37c83ce187
Fix: shouldn't contain new line
2017-09-14 09:10:11 +08:00
eight
b7b5888431
Fix: should't edit the style object directly returned from getStyles cache
2017-09-14 09:09:40 +08:00
eight
97fd2aa083
Compat: firefox
2017-09-13 23:35:34 +08:00
eight
40a5dab311
Fix: script order of loadLinterAssets
2017-09-13 21:26:22 +08:00
eight
411df8b051
Fix: no need to use $$ for element existence check
2017-09-13 20:39:42 +08:00
eight
3c450e7d9d
Fix: resize grip style
2017-09-13 20:28:19 +08:00
eight
b61b058824
Fix: pull out makeLink
2017-09-13 17:34:27 +08:00
eight
d7f0e3c176
fixup! Fix: draw title
2017-09-13 17:33:32 +08:00
eight
0e92e6d0c7
Add applies-to line widget
2017-09-13 16:58:03 +08:00
eight
6195e558e4
Fix: draw title
2017-09-13 16:57:01 +08:00
eight
b102aa0704
Fix: beforeunload warning
2017-09-13 16:56:16 +08:00
eight
fa06b29748
Fix: add 'v' before version
2017-09-13 16:54:09 +08:00
eight
31464bb499
Fix: reference error
2017-09-13 16:53:21 +08:00
tophf
3d0b811b27
edit: throttle setOption for 'theme' and 'lineWrapping'
...
when the style has more than 4 sections, these options are propagated to CM instances in 100 ms chunks, and a progress overlay is shown over the corresponding option element after 100 ms
2017-09-12 23:19:10 +03:00
eight
279c7d05a7
Fix: _style -> newStyle
2017-09-13 01:39:45 +08:00
eight
93fe23f2a6
Fix: innerHTML -> textContent
2017-09-13 01:39:34 +08:00
eight
6165487db6
Fix: use lowercase placeholder
2017-09-13 00:03:23 +08:00
eight
436551a6f9
Fix: alpha channel -> opacity
2017-09-12 23:58:59 +08:00
eight
acaa1ed158
Fix: appendChild -> textContent
2017-09-12 23:23:56 +08:00
eight
2342cc50e9
fixup! Fix: rewrite loadScript, merge onDOMscripted, injectCSS, injectScript
2017-09-12 23:19:55 +08:00
eight
2506b957f8
Fix: rewrite loadScript, merge onDOMscripted, injectCSS, injectScript
2017-09-12 23:19:16 +08:00
eight
dc37588cd1
Fix: drop windowLoaded
2017-09-12 21:34:12 +08:00
eight
a1b8945996
Fix: remove try-catch in util.js
2017-09-12 21:28:26 +08:00
eight
23bd3e2cc7
fixup! Fix: err -> e
2017-09-12 20:48:03 +08:00
eight
6b1d6564fb
Fix: drop pad
2017-09-12 20:44:12 +08:00
eight
8e5ffd036f
Fix: use rgb() when alpha === 1
2017-09-12 20:29:09 +08:00
eight
a3f26d89b8
Fix: _parse -> parseRGB
2017-09-12 20:25:59 +08:00
eight
e3c3dcc1ff
Fix: use .map to build vars
2017-09-12 20:24:25 +08:00
eight
9069562587
Fix: err -> e
2017-09-12 20:20:58 +08:00
eight
51e92e5a7b
Fix: use IIFE for try-catch in tDocLoader
2017-09-12 20:08:09 +08:00
eight
7c1b140de9
Fix: drop tHTML
2017-09-12 20:06:00 +08:00
eight
431dbdc81c
Fix: remove escapeHtml completely
2017-09-12 20:03:24 +08:00
eight
39df704591
Fix: move editor creation to one structure
2017-09-12 20:01:27 +08:00
eight
4b2f7a1a46
Fix: make codeIsUpdated flag work properly
2017-09-12 19:57:43 +08:00
eight
e7eb38bba9
Fix: drop dummy Promise.resolve
2017-09-12 19:47:32 +08:00
eight
02c61b9276
Fix: self -> _
2017-09-12 19:45:08 +08:00
eight
7612cd3614
Fix: move createEmptyStyle, windowLoaded into init
2017-09-12 19:39:01 +08:00