summaryrefslogtreecommitdiff
path: root/js/codemirror/prolog.js
diff options
context:
space:
mode:
authorAleš Smodiš <aless@guru.si>2015-10-01 14:15:38 +0200
committerAleš Smodiš <aless@guru.si>2015-10-01 14:15:38 +0200
commitbc5161dac9202ec66059f5f8eb54558e90a6e5fc (patch)
tree7ec8dd1caeb2f2bcc9f24c98f3d8269c063a95df /js/codemirror/prolog.js
parentfca8ba12551433595062ef6fd541fbaffd408931 (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