diff options
| author | Aleš Smodiš <aless@guru.si> | 2015-10-01 14:15:38 +0200 |
|---|---|---|
| committer | Aleš Smodiš <aless@guru.si> | 2015-10-01 14:15:38 +0200 |
| commit | bc5161dac9202ec66059f5f8eb54558e90a6e5fc (patch) | |
| tree | 7ec8dd1caeb2f2bcc9f24c98f3d8269c063a95df /js/codemirror/prolog.js | |
| parent | fca8ba12551433595062ef6fd541fbaffd408931 (diff) | |
Bugfix: rebuild any popovers after the editor's DOM changes.
Diffstat (limited to 'js/codemirror/prolog.js')
0 files changed, 0 insertions, 0 deletions