aboutsummaryrefslogtreecommitdiff
path: root/ide/preferences.ml
AgeCommit message (Expand)Author
2016-05-08Removing dead code and unused opens.Pierre-Marie Pédrot
2016-01-21Merge branch 'v8.5'Pierre-Marie Pédrot
2016-01-20Update copyright headers.Maxime Dénès
2016-01-01Remove unplugged button from the interface.Guillaume Melquiond
2015-12-14CoqIDE: add 'you need to restart CoqIDE after changing shortcuts' messageEnrico Tassi
2015-12-14Revert PMP's fix of #2498, which introduces an incompatibility with lablgtkMaxime Dénès
2015-09-26Use default GTK styles for CoqIDE tags.Pierre-Marie Pédrot
2015-09-25Merge branch 'v8.5'Pierre-Marie Pédrot
2015-09-24Fixing unsetting of CoqIDE tags.Pierre-Marie Pédrot
2015-09-21Change the default modifiers for navigation. (Fix bug #4295)Guillaume Melquiond
2015-09-20Pluging in tag preferences into buffer printing.Pierre-Marie Pédrot
2015-09-20Adding standard printing tags to CoqIDE.Pierre-Marie Pédrot
2015-09-20Adding a tag preferencePierre-Marie Pédrot
2015-09-13Merge branch 'v8.5'Pierre-Marie Pédrot
2015-09-12Fixing bug #2498: Coqide navigation preferences delayed effect.Pierre-Marie Pédrot
2015-08-31Switching to an event-based mechanism for CoqIDE preferences.Pierre-Marie Pédrot
2015-08-26Replacing old-style preferences in CoqIDE.Pierre-Marie Pédrot
2015-08-16Using the new preference mechanism for colors in CoqIDE.Pierre-Marie Pédrot
2015-08-16Taking advantage of the new type of preferences.Pierre-Marie Pédrot
2015-08-16Turning CoqIDE preferences into new style.Pierre-Marie Pédrot
2015-08-16Simplifying CoqIDE preferences mechanism.Pierre-Marie Pédrot
2015-02-15Changing default for CoqIDE project to append arguments.Pierre-Marie Pédrot
2015-02-15CoqIDE now remembers the path of the last opened project.Pierre-Marie Pédrot
2015-02-14Attempt to be more colorblind friendly in CoqIDE (Close #4024)Enrico Tassi
2015-02-12Fixing bug #4023.Pierre-Marie Pédrot
2015-01-12Update headers.Maxime Dénès
2015-01-05Adding an option to deactivate the progress bar.Pierre-Marie Pédrot
2014-04-10CoqIDE: options for syntax highlightingEnrico Tassi
2014-03-05Remove many superfluous 'open' indicated by ocamlc -w +33Pierre Letouzey
2013-10-11CoqIDE: make error background configurablegareuselesinge
2013-08-08Gtk check_buttons do have a labelgareuselesinge
2013-08-08Add a (very minimal) Proof General mode to CoqIDEgareuselesinge
2013-08-08Fixing a warning in CoqIDE compilation.ppedrot
2012-12-19GtkData.set_default_modifiers and no access to <primary> in lablgtk -> unsuab...pboutill
2012-12-14Moved Stringset and Stringmap to String namespace.ppedrot
2012-12-04Display Menu now called View Menu (in CoqIDE preferences).herbelin
2012-09-12Coqide uses Glib to get the XDG_DATA/CONFIG_HOME/DIRSpboutill
2012-09-04Fix coqide compilation with lablgtk 2.16pboutill
2012-08-08Updating headers.herbelin
2012-07-25Bug 2706: Coqide and layout that use special modifierspboutill
2012-06-26Added the show_margin_right option to CoqIDEppedrot
2012-06-04Fixing #2803.ppedrot
2012-05-23Fixed #2538 by adding an option to reset coqtop on tab switch, as suggested.ppedrot
2012-05-23Cleaned prerr_endline use.ppedrot
2012-05-23Revert copy/pasted function in to minilib thanks to clib.cmapboutill
2012-05-16Revert commit 15287 : the env variables are indeed access at launch-timeletouzey
2012-05-13Tweaking options of CoqIDE.ppedrot
2012-05-08Fixed access to environment variables in CoqIDE. Up to now, thoseppedrot
2012-05-08Rewritten the autocompletion mechanism of CoqIDE, and stuffed itppedrot
2012-05-02Added a bunch of new options relative to editor.ppedrot
generated by cgit v1.2.3 (git 2.25.1) at 2026-03-01 02:25:42 +0000