aboutsummaryrefslogtreecommitdiff
path: root/ide/preferences.ml
AgeCommit message (Expand)Author
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
2012-05-02Better style handling in CoqIDEppedrot
2012-05-02Fixed previous commitppedrot
2012-05-02Removed the useless use of a reference in preference handling.ppedrot
2012-05-02Coqide highligthing is back (done by gtksourceview).pboutill
2012-05-02Source language and style are preferencespboutill
2012-04-18Fixed the CoqIDE preference widthppedrot
2012-04-18Cleaning up preferences and hooks in CoqIDEppedrot
2012-04-18Fixed bug #2752ppedrot
2012-04-17Coqide: the coqtop to launch is a preference.pboutill
2012-04-14Coqide input encoding preference is an algebraic type.pboutill
2012-04-13Browser documentation & CharSet under Windowspboutill
2012-04-12Coqide minor enhancementspboutill
2012-04-11Added a reset button for CoqIDE colorsppedrot
2012-04-11Added a background color configuration option in CoqIDE.ppedrot
2012-04-04Reversed colour highlight in CoqIDEppedrot
2012-03-28A revolution has come: CoqIDE, now in color. Fixes bug #2704 btw.ppedrot
2011-12-07Typopboutill
2011-11-21coqide default pref files are by default in /etc/xdg/coq/pboutill
2011-11-20CoqIdE configuration file won't pollute your home anymorepboutill
2011-10-25Icons in CoqIdE preference panelpboutill
2011-09-06ide/preferences.ml: apparently no `META in Gdk.Tags.modifierletouzey
2011-09-01Add preferences to say how to deal with a project file.pboutill
2011-07-27Coqide: GEdit.combo is deprecated since Gtk2.4! We now use GEdit.combo_box_en...pboutill
2011-06-14Revert "Coqide now need lablgtk2.14.0" + Ide build system debuggingpboutill
2011-06-10Coqide Menubar integration in MacOSpboutill
2011-06-10Menubar and toolbar in coqide using GtkUI & Gactions.pboutill
2011-04-28Attempt to use more local doc in coqidepboutill
2011-04-21Coqide: try to avoid displaying error messages on coqide's consoleletouzey
2011-03-25Ide: more reorganisation and cleanupletouzey
2011-01-06Reverted r13715 "Add improved indenters that rely on the current proof state ...gmelquio
2010-12-14Add improved indenters that rely on the current proof state to choose the ind...gmelquio
2010-09-19Addressing part 2 of bug report 2377 (removing intrusive warning whenherbelin
2010-07-24Updated all headers for 8.3 and trunkherbelin
generated by cgit v1.2.3 (git 2.25.1) at 2026-03-01 05:49:27 +0000