biou
biou
No problem, I will have a look in the next few days.
For the default button, the contrasts are ok. When you display the number of the footnote by customising the buttonTemplate, then the contrast is not sufficient. For a small text,...
Thanks for this very cool library! I am currently using it [on my weblog](https://vanschklift.com/blog/post/2020/06/19/Time-for-a-refresh%21), and I was also interested by this callout feature. I implemented it by combining rough-notation with...
Indeed this could be interesting to integrate the execute_command calls in a batch or shell script. Also if we could have the output of the eclipse console redirected to stdout,...
> This MR looks good to me. It's working as expected and I like that there is a callback for JS to react to the change. > Thanks! I hope...