aboutsummaryrefslogtreecommitdiffhomepage
path: root/ide/preferences.ml
Commit message (Expand)AuthorAge
* CoqIDE preserves unknown preferences.Gravatar Pierre-Marie Pédrot2016-08-29
* Adding a flag in CoqIDE to configure UNIX/Windows line ending.Gravatar Pierre-Marie Pédrot2016-07-26
* User queries can be terminated with "...".Gravatar Cyprien Mangin2016-06-02
* Dynamic modifier for Queries menu in CoqIDE.Gravatar Cyprien Mangin2016-06-02
* Better sanitization of user queries in CoqIDE.Gravatar Cyprien Mangin2016-06-02
* Add an option to configure the modifier for Queries.Gravatar Cyprien Mangin2016-06-02
* Merge the user queries tab with the shortcut tab.Gravatar Cyprien Mangin2016-06-02
* Slightly better interface to edit queries.Gravatar Cyprien Mangin2016-06-02
* Add user-created queries to CoqIDE.Gravatar Cyprien Mangin2016-06-02
* Removing dead code and unused opens.Gravatar Pierre-Marie Pédrot2016-05-08
* Merge branch 'v8.5'Gravatar Pierre-Marie Pédrot2016-01-21
|\
| * Update copyright headers.Gravatar Maxime Dénès2016-01-20
* | Remove unplugged button from the interface.Gravatar Guillaume Melquiond2016-01-01
| * CoqIDE: add 'you need to restart CoqIDE after changing shortcuts' messageGravatar Enrico Tassi2015-12-14
| * Revert PMP's fix of #2498, which introduces an incompatibility with lablgtkGravatar Maxime Dénès2015-12-14
* | Use default GTK styles for CoqIDE tags.Gravatar Pierre-Marie Pédrot2015-09-26
* | Merge branch 'v8.5'Gravatar Pierre-Marie Pédrot2015-09-25
|\|
* | Fixing unsetting of CoqIDE tags.Gravatar Pierre-Marie Pédrot2015-09-24
| * Change the default modifiers for navigation. (Fix bug #4295)Gravatar Guillaume Melquiond2015-09-21
* | Pluging in tag preferences into buffer printing.Gravatar Pierre-Marie Pédrot2015-09-20
* | Adding standard printing tags to CoqIDE.Gravatar Pierre-Marie Pédrot2015-09-20
* | Adding a tag preferenceGravatar Pierre-Marie Pédrot2015-09-20
* | Merge branch 'v8.5'Gravatar Pierre-Marie Pédrot2015-09-13
|\|
| * Fixing bug #2498: Coqide navigation preferences delayed effect.Gravatar Pierre-Marie Pédrot2015-09-12
* | Switching to an event-based mechanism for CoqIDE preferences.Gravatar Pierre-Marie Pédrot2015-08-31
* | Replacing old-style preferences in CoqIDE.Gravatar Pierre-Marie Pédrot2015-08-26
* | Using the new preference mechanism for colors in CoqIDE.Gravatar Pierre-Marie Pédrot2015-08-16
* | Taking advantage of the new type of preferences.Gravatar Pierre-Marie Pédrot2015-08-16
* | Turning CoqIDE preferences into new style.Gravatar Pierre-Marie Pédrot2015-08-16
* | Simplifying CoqIDE preferences mechanism.Gravatar Pierre-Marie Pédrot2015-08-16
|/
* Changing default for CoqIDE project to append arguments.Gravatar Pierre-Marie Pédrot2015-02-15
* CoqIDE now remembers the path of the last opened project.Gravatar Pierre-Marie Pédrot2015-02-15
* Attempt to be more colorblind friendly in CoqIDE (Close #4024)Gravatar Enrico Tassi2015-02-14
* Fixing bug #4023.Gravatar Pierre-Marie Pédrot2015-02-12
* Update headers.Gravatar Maxime Dénès2015-01-12
* Adding an option to deactivate the progress bar.Gravatar Pierre-Marie Pédrot2015-01-05
* CoqIDE: options for syntax highlightingGravatar Enrico Tassi2014-04-10
* Remove many superfluous 'open' indicated by ocamlc -w +33Gravatar Pierre Letouzey2014-03-05
* CoqIDE: make error background configurableGravatar gareuselesinge2013-10-11
* Gtk check_buttons do have a labelGravatar gareuselesinge2013-08-08
* Add a (very minimal) Proof General mode to CoqIDEGravatar gareuselesinge2013-08-08
* Fixing a warning in CoqIDE compilation.Gravatar ppedrot2013-08-08
* GtkData.set_default_modifiers and no access to <primary> in lablgtk -> unsuab...Gravatar pboutill2012-12-19
* Moved Stringset and Stringmap to String namespace.Gravatar ppedrot2012-12-14
* Display Menu now called View Menu (in CoqIDE preferences).Gravatar herbelin2012-12-04
* Coqide uses Glib to get the XDG_DATA/CONFIG_HOME/DIRSGravatar pboutill2012-09-12
* Fix coqide compilation with lablgtk 2.16Gravatar pboutill2012-09-04
* Updating headers.Gravatar herbelin2012-08-08
* Bug 2706: Coqide and layout that use special modifiersGravatar pboutill2012-07-25
* Added the show_margin_right option to CoqIDEGravatar ppedrot2012-06-26