aboutsummaryrefslogtreecommitdiff
path: root/ide
AgeCommit message (Collapse)Author
2012-05-11Coqide awful coqtop options parsing fixuppboutill
(back to the future) git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@15301 85f007b7-540e-0410-9357-904b9bb8a0f7
2012-05-09Little bit of code refactoring in CoqIDEppedrot
git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@15292 85f007b7-540e-0410-9357-904b9bb8a0f7
2012-05-09End of Gtksourceview switch clean.pboutill
git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@15289 85f007b7-540e-0410-9357-904b9bb8a0f7
2012-05-08Removing dead code in CoqIDE made useless by the GtkSourceView switch.ppedrot
git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@15288 85f007b7-540e-0410-9357-904b9bb8a0f7
2012-05-08Fixed access to environment variables in CoqIDE. Up to now, thoseppedrot
variables where set at compile time... git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@15287 85f007b7-540e-0410-9357-904b9bb8a0f7
2012-05-08Rewritten the autocompletion mechanism of CoqIDE, and stuffed itppedrot
into the ScriptView widget. The autocompletion algorithm may be a bit too greedy, so there are tests to do on huge buffers to check whether it is too slow and therefore we should fine-tune it. git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@15282 85f007b7-540e-0410-9357-904b9bb8a0f7
2012-05-06Cleanly rewritten the undo manager, which did not support redo and hadppedrot
a lot of deprecated code. Trying to be nicer with the built-in undo manager of GtkSourceView btw. git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@15281 85f007b7-540e-0410-9357-904b9bb8a0f7
2012-05-05Renamed Undo to conform to CoqIDE widget naming convention. In addition,ppedrot
made various hack to handle GtkSourceView built-in undo/redo and made method types and names more compliant with the one of Gtk. git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@15280 85f007b7-540e-0410-9357-904b9bb8a0f7
2012-05-05Hack to handle trailing whitespace display in CoqIDEppedrot
git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@15279 85f007b7-540e-0410-9357-904b9bb8a0f7
2012-05-02Added a bunch of new options relative to editor.ppedrot
git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@15274 85f007b7-540e-0410-9357-904b9bb8a0f7
2012-05-02Better style handling in CoqIDEppedrot
git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@15273 85f007b7-540e-0410-9357-904b9bb8a0f7
2012-05-02Fixed previous commitppedrot
git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@15272 85f007b7-540e-0410-9357-904b9bb8a0f7
2012-05-02Removed the useless use of a reference in preference handling.ppedrot
git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@15271 85f007b7-540e-0410-9357-904b9bb8a0f7
2012-05-02Quick workaround to handle badly designed Sourceview package.ppedrot
git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@15270 85f007b7-540e-0410-9357-904b9bb8a0f7
2012-05-02Coqide highligthing is back (done by gtksourceview).pboutill
git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@15269 85f007b7-540e-0410-9357-904b9bb8a0f7
2012-05-02Coqide coq lexer put one tag at the end of a sentence.pboutill
And that's all ! It erase the possibility of code folding... git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@15268 85f007b7-540e-0410-9357-904b9bb8a0f7
2012-05-02Source language and style are preferencespboutill
git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@15267 85f007b7-540e-0410-9357-904b9bb8a0f7
2012-05-02undoable_view is a source_viewpboutill
git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@15266 85f007b7-540e-0410-9357-904b9bb8a0f7
2012-05-02Always add the Coq_config.dirs to xdg_dirspboutill
git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@15265 85f007b7-540e-0410-9357-904b9bb8a0f7
2012-05-02Fixed #2769ppedrot
git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@15264 85f007b7-540e-0410-9357-904b9bb8a0f7
2012-05-01Cleaned the interface of analyzed_view in CoqIDE. A lot of methodsppedrot
have been made private, for the sake of readability and conciseness. git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@15260 85f007b7-540e-0410-9357-904b9bb8a0f7
2012-04-30This is a tentative bugfix for the numerous GText.iter erros occuring in CoqIDE.ppedrot
Because of the previous highlighting process, whenever this process would fail on an unterminated phrase, a thread would wait 1.5s and retry once. This thread conflicted in particular with any subsequent non-atomic use of iters. Actually, this seems pretty useless, so until using SourceView, this sould do the work. git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@15259 85f007b7-540e-0410-9357-904b9bb8a0f7
2012-04-30Fixed an accelerator parsing error in CoqIDE introduced in r15254ppedrot
git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@15258 85f007b7-540e-0410-9357-904b9bb8a0f7
2012-04-27Configure asks for lablgtk >= 2.12 with gtksourceview2pboutill
git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@15255 85f007b7-540e-0410-9357-904b9bb8a0f7
2012-04-27Coqide MacOS integration refreshpboutill
git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@15254 85f007b7-540e-0410-9357-904b9bb8a0f7
2012-04-27Removed the quasi-useless gtk2rc file and the documentation that went with ↵ppedrot
it. Now CoqIDE is not anymore totally irrespectful of the local configuration of themes, in particular w.r.t. to menu fonts. git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@15251 85f007b7-540e-0410-9357-904b9bb8a0f7
2012-04-24Removed a unused and troublesome feature in CoqIDE that handled shortcuts ↵ppedrot
the old way. git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@15244 85f007b7-540e-0410-9357-904b9bb8a0f7
2012-04-23Fixed bad gravity of mark that would make CoqIDE loop whenever Replace All ↵ppedrot
was used with a self-contained replacement. git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@15237 85f007b7-540e-0410-9357-904b9bb8a0f7
2012-04-23Cleaning a bit previous commitppedrot
git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@15235 85f007b7-540e-0410-9357-904b9bb8a0f7
2012-04-23Now CoqIDE has a nice find & replace mechanism. BTW, removing a blob of dead ↵ppedrot
code that used to serve as such a long time ago. git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@15234 85f007b7-540e-0410-9357-904b9bb8a0f7
2012-04-20Cleaning up widget code and using a naming convention for such files.ppedrot
git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@15232 85f007b7-540e-0410-9357-904b9bb8a0f7
2012-04-19Moved queries from command pane to message view.ppedrot
git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@15231 85f007b7-540e-0410-9357-904b9bb8a0f7
2012-04-19Fixed color refresh of command paneppedrot
git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@15218 85f007b7-540e-0410-9357-904b9bb8a0f7
2012-04-18Fixed the CoqIDE preference widthppedrot
git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@15217 85f007b7-540e-0410-9357-904b9bb8a0f7
2012-04-18Fixed an initialization bug of Gtk introduced in r15188 that would lead ↵ppedrot
CoqIDE to a segfault. Gtk was not initialized while it was trying to declare accel keys. git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@15216 85f007b7-540e-0410-9357-904b9bb8a0f7
2012-04-18Cleaning up preferences and hooks in CoqIDEppedrot
git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@15215 85f007b7-540e-0410-9357-904b9bb8a0f7
2012-04-18New file in CoqIDE is not ANNOYING anymore.ppedrot
git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@15208 85f007b7-540e-0410-9357-904b9bb8a0f7
2012-04-18Renamed end-of-proof message by a less disturbing one.ppedrot
git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@15201 85f007b7-540e-0410-9357-904b9bb8a0f7
2012-04-18Added a tab changing command in CoqIDE and moved display options aroundppedrot
git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@15200 85f007b7-540e-0410-9357-904b9bb8a0f7
2012-04-18Fixed bug #2752ppedrot
git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@15197 85f007b7-540e-0410-9357-904b9bb8a0f7
2012-04-17Coqide: the coqtop to launch is a preference.pboutill
If it is AUTO then we keep the heuristic to change coqide by coqtop in Sys.executable_name. If it fails coqtop location must be given by the users. git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@15188 85f007b7-540e-0410-9357-904b9bb8a0f7
2012-04-14Coqide input encoding preference is an algebraic type.pboutill
git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@15174 85f007b7-540e-0410-9357-904b9bb8a0f7
2012-04-14Coqide Proofview scrollpboutill
so that end of the corrent goal is the last visible line. git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@15173 85f007b7-540e-0410-9357-904b9bb8a0f7
2012-04-13Browser documentation & CharSet under Windowspboutill
git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@15157 85f007b7-540e-0410-9357-904b9bb8a0f7
2012-04-12Coqide minor enhancementspboutill
Bug 2736: Syntax highlighting 600 transitions left before ocamllex limit. A preference pane large enough to change fonts. Erase extra empty line in Coqide goal display. git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@15145 85f007b7-540e-0410-9357-904b9bb8a0f7
2012-04-12lib directory is cut in 2 cma.pboutill
- Clib that does not depend on camlpX and is made to be shared by all coq tools/scripts/... - Lib that is Coqtop specific As a side effect for the build system : - Coq_config is in Clib and does not appears in makefiles - only the BEST version of coqc and coqmktop is made - ocamlbuild build system fails latter but is still broken (ocamldebug finds automatically Unix but not Str. I've probably done something wrong here.) git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@15144 85f007b7-540e-0410-9357-904b9bb8a0f7
2012-04-11Added a reset button for CoqIDE colorsppedrot
git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@15128 85f007b7-540e-0410-9357-904b9bb8a0f7
2012-04-11Added a background color configuration option in CoqIDE.ppedrot
git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@15127 85f007b7-540e-0410-9357-904b9bb8a0f7
2012-04-04Reversed colour highlight in CoqIDEppedrot
git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@15113 85f007b7-540e-0410-9357-904b9bb8a0f7
2012-03-28A revolution has come: CoqIDE, now in color. Fixes bug #2704 btw.ppedrot
git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@15101 85f007b7-540e-0410-9357-904b9bb8a0f7
generated by cgit v1.2.3 (git 2.25.1) at 2026-04-24 21:04:58 +0000