Tim and list; Thanks for you patience! A few more observations below:
On Mon, Nov 12, 2012 at 5:11 PM, Tim <[email protected]> wrote: > > On 13/11/12 11:59, chris hermansen wrote: > > Tim and list: > > > On Fri, Nov 9, 2012 at 6:22 PM, Tim <[email protected]> wrote: > >> >> On 10/11/12 13:05, chris hermansen wrote: >> >> Hello everyone; >> >> ... > >> >> First, between the TweakTool and gconf and dconf it is not really >> obvious (as far as I can tell) which tool should be used, but as far as I >> am able to determine, gconf may not apply to Gnome 3 at all (judging by the >> values for some of the settings I have changed elsewhere not appearing in >> gconf); and dconf may or may not have effect on Gnome 3; for instance, I >> can't seem to use it to move the window buttons to the left hand side of >> the title bar, despite various comments that indicate that should be >> possible. >> >> For gnome-shell, gnome-tweak-tool, dconf-editor and gsettings are the >> programs to use. There are some settings in gnome fallback mode that rely >> on the old gconf settings, however fallback is going to be dropped for 3.8 >> > > Thanks for that advice. I will delete gconf. Here is an example of > what doesn't work in either TweakTool nor dconf. > > TweakTool offers "Arrangement of buttons on the titlebar" and the > choices are > - close only > - maximize and close > - minimize and close > - all > > However the positioning is only to the right of the window. Looking in > dconf, there is > > org>desktop>wm>preferences>button-layout > > but as nearly as I can tell, changing this has no effect. Maybe this is > only read by metacity? > > > try org.gnome.shell.overrides button-layout (in dconf-editor) > YES!!! works a treat, thanks! > > Second, the only way I found to make some of the customizations I >> wanted was to edit various configuration files in /usr/share... I would be >> happy to share more info on that if anyone is interested, including diffs >> and the rationale behind them. >> >> Some settings such as gdm greeter need to be set using schema override >> files, however nearly all other user settings should be available using the >> 3 above mentioned tools. >> > > Here are some things which I have only been able to change by editing > configuration files: > - turning of a11y in the top bar > > there is an extension to do this (or atleast there used to be) > I see on the Gnome Extensions site https://extensions.gnome.org/extension/112/remove-accesibility/ which looks like it might do the job. > > - changing the font and its size in the top bar (too big, and I prefer > ubuntu to cantarell) > > tweak tool should be able to handle the font size, font is hardcoded in > the css file though. > I don't see anything obvious in TweakTool to change the font size. Maybe there is something I can do with a user theme; I haven't investigated that. > > - reducing the size of the application icons in "Show Applications" > > again there is likely an extension for this, if not it would be trivial to > create one. > hmm perhaps in the Activities Configurator, haven't tried that. > > - making the title bar go away when the window is maximized > > This is the default behaviour if using Adwaita, however if using > Ambiance/Ubuntu theme the required code is I believe missing from the > ubuntu themes. > You could be corect in saying this is the default Adwaita behaviour, though I think that I was using the default Adwaita behaviour originally and that was not the case. Definitely I have not been using Ambiance / Ubuntu as this is a fresh Gnome remix install. Ie without Unity. I see there is a shell extension called Maximus which looks like it might do the trick. > > In general you don't really want to be patching the source, since it will > get overriden each time the package is updated. That is why there is an > extension system, and most of the things you mentioned would be very > trivial extensions to create (if they don't already exist). > I should say that I would rather not edit configuration files. I ended up doing that with Unity-2d and it is a PITA and clearly just a hack for lack of a configuration tool. -- Chris Hermansen · [email protected] C'est ma façon de parler.
-- Mailing list: https://launchpad.net/~ubuntu-gnome Post to : [email protected] Unsubscribe : https://launchpad.net/~ubuntu-gnome More help : https://help.launchpad.net/ListHelp
