Hi, everyone,
I have a few more remarks on this tabbing-tiling stuff and also a
question concerning window managers.
It looks to me not only tiling but also tabbing can in principle be done
completely from outside the window-manager/gnome-shell as a separate
process. At the moment I'm
Hi,
after a lot of checking I decided to continue on this for now by adding
to tabbing/tiling features to the mutter source itself instead of as a
gnome-shell plugin. Main reason for the decision is that I want to have
tabbing. And for this a lot of extensions would have to added to mutter
On 17.03.2011 13:31, Jasper St. Pierre wrote:
Me personally, I'm not in favor of writing writing it
in Javascript because of the dynamic typing (will be painfull to find
problems caused by changed Mutter bindings).
Why do you think that?
Standard problem of dynamically typed languages.
On 17.03.2011 14:18, Giovanni Campagna wrote:
Of course, this requires tracking gnome-shell development and knowing
what API changes affect your code.
Exactly that's the problem. That's a big requirement. Impractical for
real world purpose. If the correct procedure for updating plugins to a
Date: Thu, 17 Mar 2011 07:36:58 -0700
From: Jeffery Olsonolson.jeff...@gmail.com
To: gnome-shell-list@gnome.org
Subject: mutter tiling
Message-ID:
aanlktimul4xjlb2rzv7edfvcvsn7soqmknjnnlehx...@mail.gmail.com
Content-Type: text/plain; charset=ISO-8859-1
The risk that you're describing,
On 17.03.2011 16:23, Jeffery Olson wrote:
Encapsulation, low coupling and seperation-of-concerns. These are all
valuable patterns that we can leverage here.
Okay, you have a point here. This is certainly the best one can do under
dynamic typing.
I'm not sure if it is relevant for the
On 17.03.2011 18:08, gnome-shell-list-requ...@gnome.org wrote:
A quick follow-up to this, as well: A big, missing piece of
extensibility right now is there's no way to do custom keybindings (or
keybindings of any kind, really) from javascript. All of the
keybinding that is used for
On 17.03.2011 22:04, Tim Cuthbertson wrote:
I'm not seeing owen's side of this conversation (specifically this
first quoted part, I never received. this is also the first message
I've seen discussing static typing vs dynamic typing). is it supposed
to be between the two of you or on the mailing
Message: 2
Date: Tue, 15 Mar 2011 13:11:55 +1100
From: Tim Cuthbertsont...@gfxmonk.net
To: Oliver Mangoldo.mang...@googlemail.com
Cc: gnome-shell-list@gnome.org
Subject: Re: Tiling features in Mutter
Message-ID:
I've started to work on these features in gnome-shell itself (using
javascript).
On 15.03.2011 11:41, Olav Vitters wrote:
No idea if feasible, but maybe work on exposing it in javascript, so the
tiling features can live in an extension? Then everyone wanting to use
tiling could have it easily (no need to compile / differ from what is in
the distro)
Note: not a dev, no idea
On 15.03.2011 12:50, Tim Cuthbertson wrote:
That's true - it should be a lot easier to distribute as a javascript
extension. Oliver, have you asked the mutter developers whether they'd
be open to merging tiling features? Can anyone on this list answer
that?
Not explicitly, but I started this
To: Oliver Mangold o.mang...@googlemail.com
CC: gnome-l...@gnome.org
On Sun, Mar 13, 2011 at 03:33:00PM +0100, Oliver Mangold wrote:
If someone wants to try it out, the current version of my branch can
be found here:
Most people working on Mutter read gnome-shell-list. Suggest to post
12 matches
Mail list logo
