I'm using a software called coqide which has a gtk-based user interface. I want to change background & foreground colors.
I managed to change things in my .coqide-gtk2rc file to do most of the things, but there is one annoying thing left.
The coqide has an option for stepping through code. As u step through code, it becomes highlighted in a greenish color.
See the only image on
http://coq.inria.fr/ (kinda small). There is a green highlight in the leftmost panes in the windows.
I have not been able to figure how how to change that color.
The gtk resource file is at :
http://developer.gnome.org/doc/API/2...rce-Files.html
my .coqide-gtk2rc is below:
Code:
# Some default functions for CoqIde. You may copy the file in your HOME and
# edit as you want. See
# http://developer.gnome.org/doc/API/2.0/gtk/gtk-Resource-Files.html
# for a complete set of options
# To set the font of the text windows, edit the .coqiderc file through the menus.
gtk-key-theme-name = "Emacs"
#pixmap_path "/home/"
binding "text" {
bind "<ctrl>k" { "set-anchor" ()
"move-cursor" (display-line-ends,1,0)
"move-cursor" (visual-positions,1,0)
"cut-clipboard" ()
}
bind "<ctrl>w" { "cut-clipboard" () }
# For UTF-8 inputs !
# bind "F11" {"insert-at-cursor" ("∀")}
# bind "F12" {"insert-at-cursor" ("∃")}
}
class "GtkTextView" binding "text"
style "views" {
bg[NORMAL] = "black"
bg[ACTIVE] = "blue"
bg[PRELIGHT] = "blue"
bg[SELECTED] = "blue"
base[NORMAL] = "black"
base[ACTIVE] = "blue"
#bg_pixmap[NORMAL] = "black"
}
class "GtkTextView" style "views"
widget "*.*.*.*.*.ScriptWindow" style "views"
widget "*.*.*.*.GoalWindow" style "views"
widget "*.*.*.*.MessageWindow" style "views"
gtk-font-name = "Sans 12"
style "location" {
font_name = "Sans 10"
bg[NORMAL] = "black"
}
widget "*location*" style "location"
gtk-can-change-accels = 1
style "men" {
#
}
widget "GtkMenu" style "men"
Much thanks!!!!!!
