LinuxQuestions.org
LinuxAnswers - the LQ Linux tutorial section.
Go Back   LinuxQuestions.org > Forums > Linux Forums > Linux - Software
User Name
Password
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.

Notices

Reply
 
Search this Thread
Old 09-16-2006, 03:02 PM   #1
wearetheborg
Member
 
Registered: Sep 2004
Distribution: Mint 13 Maya
Posts: 268

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 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!!!!!!
 
Old 09-22-2006, 06:37 PM   #2
wearetheborg
Member
 
Registered: Sep 2004
Distribution: Mint 13 Maya
Posts: 268

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

Rep: Reputation: 30
Quote:
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
 
  


Reply


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


All times are GMT -5. The time now is 10:01 PM.

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