aboutsummaryrefslogtreecommitdiffhomepage
path: root/ide/preferences.ml
Commit message (Expand)AuthorAge
* 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
* Add preferences to say how to deal with a project file.Gravatar pboutill2011-09-01
* Coqide: GEdit.combo is deprecated since Gtk2.4! We now use GEdit.combo_box_en...Gravatar pboutill2011-07-27
* Revert "Coqide now need lablgtk2.14.0" + Ide build system debuggingGravatar pboutill2011-06-14
* Coqide Menubar integration in MacOSGravatar pboutill2011-06-10
* Menubar and toolbar in coqide using GtkUI & Gactions.Gravatar pboutill2011-06-10
* Attempt to use more local doc in coqideGravatar pboutill2011-04-28
* Coqide: try to avoid displaying error messages on coqide's consoleGravatar letouzey2011-04-21
* Ide: more reorganisation and cleanupGravatar letouzey2011-03-25
* Reverted r13715 "Add improved indenters that rely on the current proof state ...Gravatar gmelquio2011-01-06
* Add improved indenters that rely on the current proof state to choose the ind...Gravatar gmelquio2010-12-14
* Addressing part 2 of bug report 2377 (removing intrusive warning whenGravatar herbelin2010-09-19
* Updated all headers for 8.3 and trunkGravatar herbelin2010-07-24
generated by cgit v1.2.3 (git 2.39.1) at 2024-12-03 01:01:04 +0000