150 reputation
7
bio website
location
age
visits member for 2 years, 6 months
seen Mar 24 at 14:24

I'm a graduate student of mathematics in Germany.


Mar
1
accepted Does Firefox use some default “chrome.css” from which I can learn how to change my own userChrome.css?
Mar
1
comment Does Firefox use some default “chrome.css” from which I can learn how to change my own userChrome.css?
Okay, thank you! I found out that it is the default shape of the tab label (not sure if the right word) I want to change – the hill-shaped brightened area around the tab title “Highlight the …” in the image I posted. I couldn’t find a corresponding element or css line via chrome://browser/content/browser.xul.
Mar
1
awarded  Editor
Mar
1
revised Does Firefox use some default “chrome.css” from which I can learn how to change my own userChrome.css?
added 54 characters in body
Feb
28
asked Does Firefox use some default “chrome.css” from which I can learn how to change my own userChrome.css?
Sep
24
awarded  Autobiographer
Feb
19
awarded  Popular Question
Jan
22
awarded  Informed
Jan
22
awarded  Scholar
Jan
22
comment Vimperator seems to search with Google by default – how to change that
Thanks. I can't believe I didn't find this in the vimperator help pages!
Jan
22
accepted Vimperator seems to search with Google by default – how to change that
Jan
21
comment Vimperator seems to search with Google by default – how to change that
This doesn't work (yet). But by removing Google from the list of search engines shown in the dialog, at least it doesn't search with Google by default. +1 for that.
Jan
21
comment Vimperator seems to search with Google by default – how to change that
It does when I type search_item in the regular adress bar which is part of the gui. I mean the one on top that you always have, even without vimperator installed. It does not when I type :open search_item in the command prompt for vimperator at the bottom.
Jan
18
awarded  Supporter
Jan
16
asked Vimperator seems to search with Google by default – how to change that
Oct
4
comment XDM login loop, missing or wrong session and resources files
By the way, I copied .Xresources to .Xdefaults, so that my terminal now looks like before, but this solution isn't as "clean" as I want it to be.
Oct
4
awarded  Student
Oct
4
asked XDM login loop, missing or wrong session and resources files