On 13.12.2016 20:55, Bob Goodwin wrote: > On 12/12/16 16:19, poma wrote: >> Yeah, the same path: >> http://goo.gl/Gm4ffO >> source/etc/ > + > I tried to : > > wget http://goo.gl/Gm4ffO/source/etc/ > > I thought it was one line and that > didn't work, had to browse [Firefox] to > "http://goo.gl/Gm4ffO"; and then select > "source" and "etc." > > After that the rest worked as you said > it should. I have a lot of notes to > refer to! >> >> And here's one cool tip, >> if you need to "colorize" the theme, here's how it can be done quite elegantly; >> >> - If it is not already, make a themes dir for the user >> $ mkdir -p ~/.themes >> >> - Copy the system-wide Duskgrey theme dir to the themes dir for the user >> $ cp -a /usr/share/themes/Duskgrey/ ~/.themes >> >> - Rename Duskgrey to Duskblue >> $ mv ~/.themes/Duskgrey/ ~/.themes/Duskblue >> >> - Replace base/background color of the theme, >> one of the shades of dark gray, to one of the shades of dark blue. >> In this case 121212 presents color code of dark gray, >> and 000111 presents color code of dark blue, >> therefore >> $ sed -i 's/121212/000111/g' ~/.themes/Duskblue/gtk*/gtk* >> >> - Set Duskblue as the theme >> $ xfconf-query -c xsettings -p /Net/ThemeName -s Duskblue >> >> >> 'gcolor2' can help find the requested color. >> > + > > After doing all these things my XFCE > terminal has no scroll bar. :-( > > Other than that I'm using the result of > the "Duskblue" exercise and am happy > with it. > > I still need to try changing the > "userContent.css" file as suggested. > There are colors in Firefox I would like > to change but that can wait for another day. > > I'm trying to make "Recoll" index things > I want listed now. > > Thanks, > > Bob > I haven't encountered such a problem within xfce4-terminal, a scrollbar if enabled is always visible. Here in this version, visibility of Gtk2 scrollbars and checkboxes generally, is improved. $ md5sum duskgrey-theme-3.22.4-3.fc24.src.rpm 6cfbec6f05cc4cba18842d9cf31d84e2 duskgrey-theme-3.22.4-3.fc24.src.rpm To download via the command line: $ curl -JLO https://goo.gl/f3QsSC _______________________________________________ users mailing list -- users@xxxxxxxxxxxxxxxxxxxxxxx To unsubscribe send an email to users-leave@xxxxxxxxxxxxxxxxxxxxxxx
