Re: »Maustasten« zu »Tastataturmaus« ändern

[Christian Kirbach <christian kirbach googlemail com>]

Am Samstag, den 24.09.2011, 20:03 +0200 schrieb Mario Blättermann:
> Hallo Gabor,
> 
> Am 24.09.2011 17:42, schrieb Gabor Karsay:
> > [...]
> > Ich plädiere also für eine Umbenennung zu Tastaturmaus, das betrifft gnome-shell, gnome-control-center und gnome-user-docs.
> > Gibt es dafür Zustimmung und wenn ja, bis wann ginge es sich aus bzw. wann wäre es sinnvoll, 3.2 oder
> > 3.2.1?
> > 
> 
> Würde ich auf jeden Fall befürworten, denn durch die »Maustasten« haben
> sich im Text schon einige seltsame Formulierungen ergeben.
> Allerdings drängt die Zeit, aber noch ist nicht alles verloren. Ich
> könnte heute abend noch alles ändern und einspielen, damit es noch in
> GNOME 3.2.0 landet.


Ich habe gerade mit Mario gesprochen, ich bin auch für die Änderung.
Mario wird es jetzt in der Shell, den Systemeinstellungen und in den
Handbüchern abändern.

-- 

Christian Kirbach <Christian Kirbach googlemail com>