maximize / unmaximize - minimize / unminimize

[Gianluca Sartori]

Il mar, 2003-09-30 alle 14:41, Yuri ha scritto:
> > Tra l'altro, questo fatto ci costringe a differenziare la traduzione i
> > demaximize e deminimize... :(
> 
> già, sei arrivato alle stesse conclusioni di qualche anno fa (quelle che
> hanno portato all'uso di demassimizza e deminimizza). 
> Se in originale  i due termini vengono distinti, c'è poco da fare...*
> Se invece il wm ha solo «restore», allora è lecito il «ripristina».

> * bisognerebbe far cambiare il comportamento del wm. Se tante persone
> lo chiedono, magari...

Ho già compilato un bug-report, però nessuno lo ha ancora preso in
considerazione: http://bugzilla.gnome.org/show_bug.cgi?id=122640

Gianluca