Sylvain
Sylvain
Will you merge this PR? What is missing? :question:
> BTW, what was requiring a restart exactly? Edit > Preferences > Misc > Vertical tabs and Tabs on opposite side. (In my branch coqide-preferences, I have merged these two...
> OK, going to merge if no objection. Thanks. Note that @jfehrle feared that moving the tabs would make things buggy, but I think I did what was needed to...
It is not only vertical or horizontal, also bottom or right with the other checkbox. Tweaking done. Thank you for merging.