io usavo parecchio
tasto destro + R (oppure O?)
per rinominare le cartelle; poi hanno cambiato lettera; poi non funzionava più; poi l'han tolto..
adesso basta il secondo clic (lento) sul nome della cartella, però era comodo perchè c'era anche "elimina" "proprietà" ecc.. e si era sicuri di non sbagliare
