Hi,
After a short discussion with Giovanni, I took the liberty of
modifying the page http://live.gnome.org/GnomeShell/Extensions, to
include per-extension documentation, and a few sexy screenshots. I'll
fill the alternate-tab and auto-move-windows pages tomorrow.
Cheers,
Thomas
___
Hi !
>> It is actually much easier to change than this, as someone had pointed
>> our earlier. "System info" contains a configuration option for the
>> preferred apps which solved this.
>>
>
> Ok. Here it is (it was extended since last time I visited it but still
> no option for opening in new tab
Hi,
There is a feature I really miss in gnome-shell for work : being able
to make a window transparent : really nice to compare stuff.
Setting the opacity of a window is rather simple, but binding a
key/mouse combination is not.
i tried the following :
function change_opacity(actor,event) {
log("
Le 5 avr. 2011 à 21:34, John Stowers a
écrit :
On Tue, 2011-04-05 at 17:33 +0200, Thomas Bouffon wrote:
Hi all !
A few weeks ago, I started a little piece of python code that can
only
enable/disable extensions at the moment. It could really useful, eg
to
configure auto-move
Hi all !
A few weeks ago, I started a little piece of python code that can only
enable/disable extensions at the moment. It could really useful, eg to
configure auto-move-windows.
It is really dirty as I did not have the gsettings gobject introspection.
After that was released the Gnome Tweak tool
>
> For example while trying to store knowledge in my brain, I often have pdfs
> with exercise opened and maximize the window to have it easily readable
> while working on plain ol' paper.
> When I do actual coding (and dont have the 2nd monitor available), I often
> have the exercise next to the I
Hi
>
> Fair enough. But do we, or users, spend a significant portion of our
> desktop activity staring at the clock? Isn't the clock in many cases a
> distraction when we need to get work done?
>
Actually Much less of a distraction/waste than having my name, a network
status as I am on a static IP
It suits my workflow as well, so it was definitely welcome, and it
makes
sense in the context of the extension.
Pushed to master, thanks a lot!
Giovanni
Hi Giovanni ! Thanks for both pushes !
What do you think of spliting the workspace management part of the
extension ?
Cheers,
Thomas
>
>
> That seems to be a sweet option. I think that the auto workspace
> management is not a suit everybody solution. It seems slick for people
> not used to workspaces, however *I* think that people accustomed to them
> will have a hard time with the auto collection "shiftness".
I'm not sure it's
>
> Okay, so now we have the same version and it works for both of us.
But I don't know if the Main._checkWorkspaces overriding should be inside
this extension or be another standalone extension on which this one would
depend.
I mean, this could be an alternative for the people who are not at ease
lun, 07/02/2011 alle 22.04 +0100, Alessandro Crismani ha
> > > scritto:
> > > > Il giorno lun, 07/02/2011 alle 10.21 +0100, Thomas Bouffon ha
> scritto:
> > > > [...]
> > > >
> > > > I'm copy and pasting it here, it's not that lo
Hi all,
The following is absolutely _not_ a criticism about the gnome-shell design,
but more of a question of what I should do.
- I know that the gnome-shell Alt Tab is made on purpose, but in my
particular situation It's _highly_ disruptive. So I wrote an extension to
set the old style one again.
>
> There is a very reasonable comment by a german computer magazin about
> this issue and why it is the right way. It is available in German only
> though:
>
> http://www.heise.de/open/artikel/Die-Woche-Gnome-weiss-es-besser-1183775.html
>
My german has become a little rusty, but I clearly see the
> 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
> ordan
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 ? Somet
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 /home/tbouffon/S
Hi Alessandro,
Are you sure? I'm using it with an up to date Shell build, and if I open
> an app that has to go on the fourth workspace *from the terminal*, that
> workspace is created and the app moved there.
>
Yes I am : if the extension has to create a workspace, gnome-shell crashes
(I attache
xed workspace, which is if it doesn't exist (think of it as a sort
of
devilspie).
Yes, in fact you had posted a link to the extension some time back
in November I believe. The link to the sample extension is:
http://mail.gnome.org/archives/gnome-shell-list/2010-November/msg00036.html
On Tue, Feb 1, 2011 at 2:31 PM, Thomas Bouffon wrote:
> Hi,
> Again a new thing I complain on : what a weener ! ;)
> I Like the notification system which is hidden at the bottom, but I think
> the right left animation is a bit too much : the vertical one already hides
> the notific
Hi,
Again a new thing I complain on : what a weener ! ;)
I Like the notification system which is hidden at the bottom, but I think
the right left animation is a bit too much : the vertical one already hides
the notifications, and the horizontal one is a bit too sensitive : I like to
read the subjec
On Mon, Jan 31, 2011 at 3:15 PM, Jasper St. Pierre wrote:
> Something like what's mentioned in http://jimmac.musichall.cz/log/?p=1126?
>
> Owen has been working on a workspace-thumbnails branch which adds
> something like that mockup, although I haven't tried it.
>
Hi,
More or less : I was aware
Hi,
Since there is no tiled view in gnome-shell, will there be any means of
previewing all windows across all workspace on a same level ?
By same level I mean same thumbnail size for hidden workspaces.
I use workspaces a lot, but their organization can vary. When I was using
compiz and the (I thi
Hi,
I would like to know if it is possible to have a support of the visual bell
in gnome-shell, ideally with a notification such as a 'demands-attention
signal'. I work on various machines/Oses so I cannot use zenity.
i was thinking of using the visible bell, with perhaps an extension to cath
it, b
On Tue, Jan 11, 2011 at 3:20 PM, Adam Williamson wrote:
> On Tue, 2011-01-11 at 14:56 +0100, Thomas Bouffon wrote:
> > For 2.31 :
> > tar.gz -> http://tbouffon.free.fr/AlternateTab-2.31.tar.gz
> > F14 rpm ->
> > http://tbouffon.free.fr/gnome-shell-alternatet
Hi all,
I just wrote a gnome-shell extensions which replaces the Alt+tab Behavior by
the former form (no grouping, windows just ordered by date)
I know it might soundcounter-productive to code such an extension, but after
two months of everyday use, I was just not able to get used to the AltTab it
Hi,
I created a bunch of custom launchers for gnome terminal in
.local/share/applications. They are just starting it with the option
--window-with-profile=
These launchers display well in the appplications menu, but all the windows
are grouped in the regular gnome-terminal icon.
Is there a way
Hi,
I'd like to display a simple table in a PopupMenuItem. I thought an easy way
would be to prepare an html snippet and render it.
Is there any way this can be done ?
Thanks,
Thomas
___
gnome-shell-list mailing list
gnome-shell-list@gnome.org
http://ma
Reply to myself :
> Last question, which of this list or javascript-list is better for
> technically discussing gnome-shell extensions ?
>
> The javascript agregates something like 5 e-mails/month. Better post to
gnome-shell
___
gnome-shell-list mailing
Hi Alessandro !
Sorry I didn't answer to the last e-mail but i'm stuck on 2.31
display.connect('window-created',FindAndMove);
>
> I would like to ask if it is possible to perform an action ONLY on the
> new window that is opened, something like (this is a theoretical guess,
> hope you get the poin
1) Which features of the gnome shell do you consider more ergonomic
> 2) How do you find the gnome shell more productive than then classic Gnome
> DE?
>
than the classic gnome?
>
I would answer both at the same time since ergonmy is the key to
productivity.
The list can be long :
- The tiled vie
>
> Thanks for the help !
I managed to write an extension which places the new windows on the
workspace I want, and creates the workspace if necessary.
I connected display to 'window-created' because the other signals were
emitted to early, and it's not called when the window is moved.
The extensi
Hi,
I'm trying to plpay with window postions in an extension.
i wrote something simple :
// Sample extension code, makes clicking on the panel show a message
const St = imports.gi.St;
const Mainloop = imports.mainloop;
const Main = imports.ui.main;
const Shell = imports.gi.Shell;
// Put your ex
Yeah, there are a few weird results with Atl+Tab currently, disregarding
> the general argument of whether the concept of per-application grouping
> makes sense. Personally, I've reported one precise case where we fail:
> windows of the same application that are on the same workspace aren't
> easi
Hi,
I completely agree with Allessandro
>
> I admit that I've been lost some times, mostly when I forget to put the
> two applications I'm switching back and forth on the same workspace. In
> this situation, I expect that Alt-Tab brings up the previous used
> application, while it brings up other
Self-response as I found an answer :
I used glib introspection and Glib.spawn_command_line_sync to start my
process and get the result.
On Wed, Oct 27, 2010 at 4:13 PM, Thomas Bouffon wrote:
> Hello,
> I'm writing an extension which gives me the time for the next bus close to
>
35 matches
Mail list logo