Re: Cantarell font

2011-02-21 Thread Nguyen Thai Ngoc Duy
On Thu, Feb 17, 2011 at 8:52 AM, Owen Taylor otay...@redhat.com wrote: cosimoc       owen, I'm the package owner so I guess it's my turn to learn how fontconfig works cosimoc: I think that what you need to do is to match on the Cantarell family name, and then replace it with the Cantarell

impossible to clone from http

2011-02-21 Thread Thomas Bouffon
Hi, I'm behind a proxy and can't clone via git://. A few weeks ago, I managed to build gnome-shell, replacing the git repos by http. Today I tried to build everything again, but I cannot clone anything anymore : I get : $ bash gnome-shell-build-setup.sh Checking out jhbuild into

Re: missing workflows with gnome-shell

2011-02-21 Thread Thomas Bouffon
Hi ! Thanks for adding this extension in the repo ! Unfortunately, I cannot build gnome-shell anymore, and I removed the previous install. So I'm stuck on 2.31 at the moment. As for the settings, is there a standard gui for gsettings ? If not, would a small python dialog box do the trick ?

Re: impossible to clone from http

2011-02-21 Thread Johannes Schmid
Hi! I'm behind a proxy and can't clone via git://. A few weeks ago, I managed to build gnome-shell, replacing the git repos by http. Today I tried to build everything again, but I cannot clone anything anymore : I get : $ bash gnome-shell-build-setup.sh Checking out jhbuild into

Re: missing workflows with gnome-shell

2011-02-21 Thread Johannes Schmid
Hi! As for the settings, is there a standard gui for gsettings ? If not, would a small python dialog box do the trick ? Something like a list display where one can add/remove lines, and then, when confirmed, starts the appropriate gsettings command ? The tool is called dconf-editor and is

Re: missing workflows with gnome-shell

2011-02-21 Thread Johannes Schmid
Hi! I just tried dconf-editor for 2.31 (the latest is building, thanks to your advice) It looks a lot like gconf-editor. What should be the default behavior ? Should any user be aware of that utility, or should a custom utility write gsettings from a dialog box ? Will dconf-editor be the

Re: missing workflows with gnome-shell

2011-02-21 Thread Thomas Bouffon
No. Basically any interesting settings will be in System Settings but I doubt there will be an extra panel for gnome-shell, it will just be integrated where useful. However, as of now, extensions are not seen as part of the default user-experience and as such won't be presented to ordanary

Re: Generic question

2011-02-21 Thread Alessandro Crismani
Il giorno lun, 21/02/2011 alle 18.31 +0100, Thomas Bouffon ha scritto: - I have not tested yet the workspace collection scheme (still building), but from what I've read, it does not completely fit what I'm looking for. I am not fond of it either. I've sent an email to the list hoping for

Re: Gnome Shell Issues - Frequent Crashing

2011-02-21 Thread Jason Crow
It seems to crash after a while almost randomly. It frequently crashes when accessing the overlay, but it crashes other times too. I an typically running firefox, libreoffice, and a windows xp virtualbox machine. I also use docky or cairo dock. The computer is a dell laptop with intel graphics