Re: »Maustasten« zu »Tastataturmaus« ändern

[Mario Blättermann <mariobl freenet de>]

Am 24.09.2011 20:03, 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 hab gerade bei Christian noch mal nachgefragt, und er würde
ebenfalls zustimmen. In Anbetracht der Kürze der Zeit betrachte ich das
mal als OK und würde heute noch alles ändern. Sollte jemand berechtigte
Einwände haben, können wir gegebenenfalls zu jeder Zeit die Änderung
wieder zurücknehmen.

Gruß Mario