Open selamhabibi opened 8 years ago
Thanks for the great extensions! Particularly helpful is the expansion text-hover.js
Unfortunately, there is a strange behavior with the tooltips and I have not found a solution:
If the page downwards contains more content, and I scroll down a bit the main window, the tooltips no longer work. This behavior can also be observed in the demo (http://demo-angelozerr.rhcloud.com/CodeMirror-Java//xquery.html).
I am thankful for every help... ...best regards!
Thanks for the great extensions! Particularly helpful is the expansion text-hover.js
Unfortunately, there is a strange behavior with the tooltips and I have not found a solution:
If the page downwards contains more content, and I scroll down a bit the main window, the tooltips no longer work. This behavior can also be observed in the demo (http://demo-angelozerr.rhcloud.com/CodeMirror-Java//xquery.html).
I am thankful for every help... ...best regards!