Fixed an accelerator parsing error in CoqIDE introduced in r15254

git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@15258 85f007b7-540e-0410-9357-904b9bb8a0f7
This is a tentative bugfix for the numerous GText.iter erros occuring in CoqIDE.

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
Cleaned the interface of analyzed_view in CoqIDE. A lot of methods
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
A notion of permutation for lists modulo a setoid equality

 Contribution by Robbert Krebbers (Nijmegen University).

git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@15261 85f007b7-540e-0410-9357-904b9bb8a0f7
Added an interface call to exit Coqtop nicely.

git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@15263 85f007b7-540e-0410-9357-904b9bb8a0f7
Fixed #2769

git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@15264 85f007b7-540e-0410-9357-904b9bb8a0f7
Always add the Coq_config.dirs to xdg_dirs

git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@15265 85f007b7-540e-0410-9357-904b9bb8a0f7
undoable_view is a source_view

git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@15266 85f007b7-540e-0410-9357-904b9bb8a0f7
Source language and style are preferences

git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@15267 85f007b7-540e-0410-9357-904b9bb8a0f7
Coqide coq lexer put one tag at the end of a sentence.

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
Coqide highligthing is back (done by gtksourceview).

git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@15269 85f007b7-540e-0410-9357-904b9bb8a0f7
Quick workaround to handle badly designed Sourceview package.

git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@15270 85f007b7-540e-0410-9357-904b9bb8a0f7
Removed the useless use of a reference in preference handling.

git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@15271 85f007b7-540e-0410-9357-904b9bb8a0f7
Fixed previous commit

git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@15272 85f007b7-540e-0410-9357-904b9bb8a0f7
Better style handling in CoqIDE

git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@15273 85f007b7-540e-0410-9357-904b9bb8a0f7
Added a bunch of new options relative to editor.

git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@15274 85f007b7-540e-0410-9357-904b9bb8a0f7
Fixup r15251 second time

git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@15275 85f007b7-540e-0410-9357-904b9bb8a0f7
Hack to handle trailing whitespace display in CoqIDE

git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@15279 85f007b7-540e-0410-9357-904b9bb8a0f7
Renamed Undo to conform to CoqIDE widget naming convention. In addition,
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
Cleanly rewritten the undo manager, which did not support redo and had
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