On another note, docky is crashing on me all the time I use it. I am not aware 
of any dock launching alternative that is stable on my taste except that I 
haven't heavily tested GNOME Do. That thing is good only if you remember the 
names of your apps installed. 


Cheers, 
Allan E. Registos 
----- Original Message -----
From: "Jon Kristensen" <[email protected]> 
To: [email protected] 
Sent: Friday, December 3, 2010 5:00:57 PM 
Subject: Re: Suggestion: Make a dock from application icons in overview 

On a side note: One thing that I would LOVE in Gnome Shell is a better Alt + F2 
application launcher (and a more convenient shortcut, such as Alt + Space) that 
provides completion while you're typing, and that has some kind of grammar 
allowing you to do other things than just launching binaries. See GNOME Do ( 
http://do.davebsd.com/ ) for an example. I tried gnome-launch-box but it 
doesn't even come close. Maybe we can add (and improve) gnome-launch-box? 

On 12/03/2010 01:32 AM, Allan E. Registos wrote: 


Agree. Using additional methods of launchings apps would mean something is 
lacking in the default environment. 

----- Original Message -----
From: "Stefano Facchini" <[email protected]> 
To: [email protected] 
Sent: Thursday, December 2, 2010 11:18:41 PM 
Subject: Re: Suggestion: Make a dock from application icons in overview 

I am using docky, too, for this purpose! But this should be a built-in 
feature of the shell, it is a much more consistent experience. For 
example, with docky I have to setup application launchers twice, as well 
as other customizations. 


Il giorno gio, 02/12/2010 alle 07.10 -0800, Sriram Ramkrishna ha 
scritto: 
> 
> 
> On Tue, Nov 30, 2010 at 7:10 PM, Allan E. Registos 
> <[email protected]> wrote: 
> +1 to this idea, less mouse gesture, I don't have to go to 
> activities, just a quick mouse hover to the left edge of the 
> screen. 
> In addition if there is an accidental mouse hover to the left, 
> the slide-in effect must be quick enough to avoid distraction 
> while working on a task. 
> 
> I've been using docky for this purpose. Which seems to be doing what 
> you are asking for. In addition it also tells me what apps are open 
> which if you have a slide in and slide out mechanism it doesn't allow 
> for. (unless of course there is an option to turn it off) I'm 
> hesitant to ask for such a feature when docky already seems to fill 
> this space. 
> 
> sri 
> 
> 
> 
> 
> 
> 
> 
> 
> ______________________________________________________________ 
> From: [email protected] 
> To: "Stefano Facchini" <[email protected]> 
> Cc: "Shell-List" <[email protected]> 
> Sent: Wednesday, December 1, 2010 11:01:52 AM 
> Subject: Re: Suggestion: Make a dock from application icons in 
> overview 
> 
> 
> 
> +1 
> 
> 
> This is exactly what I suggested in a very recent discussion 
> about minimizing windows in gnome-shell. 
> 
> 
> This is a extremely simple change that adds the much needed* 
> taskbar to gnome shell. 
> 
> 
> *See my post in "Minimizing Windows violates mental model" for 
> details. 
> 
> On Tue, Nov 30, 2010 at 5:29 PM, Stefano Facchini 
> <[email protected]> wrote: 
> Hi, 
> maybe this is an already known idea, but it could be 
> possible to make a 
> dock with the list of application icons on the left 
> side of overview 
> mode. When the mouse touches the left edge of the 
> screen, the list of 
> icons slides in, just like a taskbar, without 
> activating the exposé for 
> windows. I'd really like to see something similar in 
> gnome-shell! 
> 
> What do you think? 
> 
> 
> 
> _______________________________________________ 
> gnome-shell-list mailing list 
> [email protected] 
> http://mail.gnome.org/mailman/listinfo/gnome-shell-list 
> 
> 
> 
> _______________________________________________ 
> gnome-shell-list mailing list 
> [email protected] 
> http://mail.gnome.org/mailman/listinfo/gnome-shell-list 
> 
> 
> _______________________________________________ 
> gnome-shell-list mailing list 
> [email protected] 
> http://mail.gnome.org/mailman/listinfo/gnome-shell-list 
> 
> 
> _______________________________________________ 
> gnome-shell-list mailing list 
> [email protected] 
> http://mail.gnome.org/mailman/listinfo/gnome-shell-list 


_______________________________________________ 
gnome-shell-list mailing list 
[email protected] 
http://mail.gnome.org/mailman/listinfo/gnome-shell-list 
_______________________________________________
gnome-shell-list mailing list [email protected] 
http://mail.gnome.org/mailman/listinfo/gnome-shell-list 

_______________________________________________ 
gnome-shell-list mailing list 
[email protected] 
http://mail.gnome.org/mailman/listinfo/gnome-shell-list 
_______________________________________________
gnome-shell-list mailing list
[email protected]
http://mail.gnome.org/mailman/listinfo/gnome-shell-list

Reply via email to