diff options
| author |  filliatr <filliatr@85f007b7-540e-0410-9357-904b9bb8a0f7> | 2003-02-21 15:48:17 +0000 |
|---|---|---|
| committer | filliatr <filliatr@85f007b7-540e-0410-9357-904b9bb8a0f7> | 2003-02-21 15:48:17 +0000 |
| commit | 48a31721daa6f9008ab36cc0157a443447e3f68b (patch) | |
| tree | 972e6cdc72d3fd4fcd9bf5a82d5772506326ea37 /ide/FAQ | |
| parent | 07c737eccfd766300be275f949ab7b9f74e67937 (diff) | |
CoqIDE: robustesse / multi-buffers / menus / ... (utilisable)
git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@3689 85f007b7-540e-0410-9357-904b9bb8a0f7
Diffstat (limited to 'ide/FAQ')
| -rw-r--r-- | ide/FAQ | 19 |
1 files changed, 19 insertions, 0 deletions
diff --git a/ide/FAQ b/ide/FAQ new file mode 100644 index 000000000..2d7d39bf5 --- /dev/null +++ b/ide/FAQ @@ -0,0 +1,19 @@ +Q1) How to enable Emacs keybindings? +R1: Insert + gtk-key-theme-name = "Emacs" + in your ".coqiderc" file. It may be in the current dir + or in $HOME dir. + +Q2) How to change the default font ? +R2) Insert + style "default" { + font_name = "Monospace 14" + } + class "GtkTextView" style "default" + in your .coqiderc file. See Q1. + You may replace Monospace 14 by anything reasonable describing + a font. For example "Sans bold 22". See Pango Font Descriptions for more + informations (http://www.pango.org/). + +Q3) How to enable antialiased fonts? +R3) Set the GDK_USE_XFT variable to 1. |