Sylvain

I am using Manjaro Xfce (with dark panels and toolbars). When using another theme than the standard Faenza (i.e. either Ambiance, Dark, Darker, Darkest or Radiance), the icon for the...

CoqIDE: Improve menu items and accelerators

10

Here is a bunch of small improvements to menu items and accelerators. - Add “Open” to the toolbar - Add “Fully check” to the Navigation menu - Avoid overlapping accelerators...

CoqIDE UI improvements and fixes

20

Hello. Thank you for providing such good libre software. This week, I’ve worked on improving the UI of CoqIDE, especially the Preferences dialog. Indeed, I’ve started to use CoqIDE at...

CoqIDE: Make tabs reorderable and fix preference on tabs position

9

- [x] Added **changelog**.

Update/format CoqIDE FAQ file and update browser commands

6

There is a FAQ file which lies around in the coqide folder, and it seems it’s installed with CoqIDE. I propose updating it and formatting it somewhat. Also, there are...

Hello. I am a CoqIDE user and I am facing two problems with usage of the spacebar of my keyboard. 1. When pressing space after a backslash, the backslash is...