Welcome to the most active Linux Forum on the web.
Go Back > Forums > Linux Forums > Linux - Software
User Name
Linux - Software This forum is for Software issues.
Having a problem installing a new program? Want to know which application is best for the job? Post your question in this forum.


  Search this Thread
Old 09-16-2006, 03:02 PM   #1
Registered: Sep 2004
Distribution: Mint 17
Posts: 272

Rep: Reputation: 31
How to change background color ?

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 (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 :

my .coqide-gtk2rc is below:
# Some default functions for CoqIde. You may copy the file in your HOME and
# edit as you want. See
# 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!!!!!!
Old 09-22-2006, 06:37 PM   #2
Registered: Sep 2004
Distribution: Mint 17
Posts: 272

Original Poster
Rep: Reputation: 31
Bump...anyone ?
Old 09-24-2006, 01:17 AM   #3
Registered: Sep 2004
Location: Melbourne, Victoria Australia
Distribution: Support those that support you :)
Posts: 872
Blog Entries: 12

Rep: Reputation: 30
Originally Posted by wearetheborg
Bump...anyone ?
You probably should change the title subject
to something more accurate and try the programmers thread.

Since most programmers will skip over something that looks like how do i change wallpaper


Thread Tools Search this Thread
Search this Thread:

Advanced Search

Posting Rules
You may not post new threads
You may not post replies
You may not post attachments
You may not edit your posts

BB code is On
Smilies are On
[IMG] code is Off
HTML code is Off

Similar Threads
Thread Thread Starter Forum Replies Last Post
blue background color (how to change) igor.R Linux - General 4 07-23-2006 11:32 AM
Change Background Color/Image tonyfreeman Programming 1 03-11-2005 02:32 PM
Change background color chingyenccy Linux - Newbie 6 01-23-2005 03:17 AM
How can i change the background color of kghostview? TheoZhang Linux - Software 0 09-03-2003 05:09 AM
Is there a way to change background color out of X? purpleburple Linux - General 1 01-23-2003 08:32 AM > Forums > Linux Forums > Linux - Software

All times are GMT -5. The time now is 11:08 PM.

Main Menu
Write for LQ is looking for people interested in writing Editorials, Articles, Reviews, and more. If you'd like to contribute content, let us know.
Main Menu
RSS1  Latest Threads
RSS1  LQ News
Twitter: @linuxquestions
Facebook: linuxquestions Google+: linuxquestions
Open Source Consulting | Domain Registration