315 reputation
314
bio website stackexchange.com/users/…
location North America
age 52
visits member for 2 years, 10 months
seen Dec 18 '13 at 2:03

Dec
21
asked Removing gnome-screensaver also wants to remove gnome-core
Dec
21
revised How do i fix my keyboard mapping?
ID10T Error
Dec
21
comment How do i fix my keyboard mapping?
So this can be deleted... (But I'm not sure how to do that.)
Dec
21
comment How do i fix my keyboard mapping?
So, I went to a console and tried to reproduce the problem. But failed. This led me to realize that it was specific to the X environment. After digging around, I realized it was due to settings in my .xbindkeysrc.scm file!
Dec
20
revised How do i fix my keyboard mapping?
Had forgotten to mention gnome-shell
Dec
20
asked How do i fix my keyboard mapping?
Dec
19
comment What values are available for fn and fb options to the xterm command?
Thank you for the information. I continue my journey now... Since posting the question, I have a few more... Hopefully these resources will help.
Dec
19
accepted What values are available for fn and fb options to the xterm command?
Dec
17
asked What values are available for fn and fb options to the xterm command?
Dec
16
awarded  Student
Dec
16
awarded  Editor
Dec
16
revised What are the differences between “GTK theme” and “Window theme” in tweak tools?
typo correction/minor edit
Dec
16
suggested suggested edit on What are the differences between “GTK theme” and “Window theme” in tweak tools?
Dec
16
accepted What are the differences between “GTK theme” and “Window theme” in tweak tools?
Dec
16
comment What are the differences between “GTK theme” and “Window theme” in tweak tools?
Not at all a duplicate. I understand that themes vary among the different windows managers... What I am trying to figure out is the difference within a specific environment. For example, I have Ubuntu 11.10, Gnome 3, Gnome Shell. This is what I use daily. I have two tools: Advanced Settings (aka gnome-tweak-tool) and Ubuntu Tweak. I'm interested in exploring various themes. With either tool, on its corresponding theme tab it refers to "Window theme" as well as "GTK theme." I do not know which setting will affect which presentation...
Dec
16
asked What are the differences between “GTK theme” and “Window theme” in tweak tools?
Dec
15
awarded  Popular Question
Dec
6
awarded  Scholar
Dec
6
accepted How can I enable Gnome Shell Extensions with Ubuntu 11.10?
Dec
4
awarded  Supporter