aboutsummaryrefslogtreecommitdiffhomepage
path: root/ide/preferences.ml
Commit message (Expand)AuthorAge
* 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
* Fixing #2803.Gravatar ppedrot2012-06-04
* Fixed #2538 by adding an option to reset coqtop on tab switch, as suggested.Gravatar ppedrot2012-05-23
* Cleaned prerr_endline use.Gravatar ppedrot2012-05-23
* Revert copy/pasted function in to minilib thanks to clib.cmaGravatar pboutill2012-05-23
* Revert commit 15287 : the env variables are indeed access at launch-timeGravatar letouzey2012-05-16
* Tweaking options of CoqIDE.Gravatar ppedrot2012-05-13
* Fixed access to environment variables in CoqIDE. Up to now, thoseGravatar ppedrot2012-05-08
* Rewritten the autocompletion mechanism of CoqIDE, and stuffed itGravatar ppedrot2012-05-08
* Added a bunch of new options relative to editor.Gravatar ppedrot2012-05-02
* Better style handling in CoqIDEGravatar ppedrot2012-05-02
* Fixed previous commitGravatar ppedrot2012-05-02
* Removed the useless use of a reference in preference handling.Gravatar ppedrot2012-05-02
* Coqide highligthing is back (done by gtksourceview).Gravatar pboutill2012-05-02
* Source language and style are preferencesGravatar pboutill2012-05-02
* Fixed the CoqIDE preference widthGravatar ppedrot2012-04-18
* Cleaning up preferences and hooks in CoqIDEGravatar ppedrot2012-04-18
* Fixed bug #2752Gravatar ppedrot2012-04-18
* Coqide: the coqtop to launch is a preference.Gravatar pboutill2012-04-17
* Coqide input encoding preference is an algebraic type.Gravatar pboutill2012-04-14
* Browser documentation & CharSet under WindowsGravatar pboutill2012-04-13
* Coqide minor enhancementsGravatar pboutill2012-04-12
* Added a reset button for CoqIDE colorsGravatar ppedrot2012-04-11
* Added a background color configuration option in CoqIDE.Gravatar ppedrot2012-04-11
* Reversed colour highlight in CoqIDEGravatar ppedrot2012-04-04
* A revolution has come: CoqIDE, now in color. Fixes bug #2704 btw.Gravatar ppedrot2012-03-28
* TypoGravatar pboutill2011-12-07
* coqide default pref files are by default in /etc/xdg/coq/Gravatar pboutill2011-11-21
* CoqIdE configuration file won't pollute your home anymoreGravatar pboutill2011-11-20
* Icons in CoqIdE preference panelGravatar pboutill2011-10-25
* ide/preferences.ml: apparently no `META in Gdk.Tags.modifierGravatar letouzey2011-09-06