Topic: [PER TRADUTTORI] Combinazione tasti perduta!!

[legolas558]

Sono quasi 2 anni che posto sul bugzilla ufficiale questo problema relativo alla combinazione di tasti Alt+D ma nessuno se ne è mai occupato.

Posto anche qui con molta speranza, e per vedere se altri utenti hanno rilevato il problema.

Problema

Permi Alt+D. Viene selezionata la barra degli indirizzi. Questa funzione c'è da Mozilla 0.1.
Premi Ctrl+F, cerca qualcosa. Poi premi Alt+D e non avrai più la barra degli indirizzi ma l'evidenziazione. Un conflitto di tasti di scelta rapida MOLTO grave, io sbaglio una 40ina di volte ogni giorno da quando lo hanno introdotto nella localizzazione italiana (1.5 mi pare)

[Underpass]

Probabilmente è solamente una questione di acceskey, se ho capito bene.

Sposto nella sezione adatta, non dubito che sarà presa in debita considerazione

[klades]

Nel frattempo, un workaround per risolvere può essere questo:
- installa l'estensione UserChrome.js
- nel file userChrome.js aggiungi in fondo questa riga:

Codice: [Seleziona]

document.getElementById("highlight").setAttribute("accesskey", "z");


[Underpass]

Come sempre, klades, chapeau!

[legolas558]

Probabilmente è solamente una questione di acceskey, se ho capito bene.

Si perchè la parola "Evidenzia" ha la "D" come accesskey, ma Alt+D è una combinazione da sempre usata per selezionare la barra degli indirizzi.

Sposto nella sezione adatta, non dubito che sarà presa in debita considerazione

Grazie mille; lo so che ci sono altre combinazioni per selezionare la barra degli indirizzi ma questo è un bug perchè una localizzazione non può disattivare una combinazione del browser.

Comunque è più di un anno che l'ho postata sul bugzilla ufficiale e niente...lo anche ripostata ogni 4-5 mesi, problemi di comunicazione? 

[legolas558]

Nel frattempo, un workaround per risolvere può essere questo:
- installa l'estensione UserChrome.js
- nel file userChrome.js aggiungi in fondo questa riga:

Codice: [Seleziona]

document.getElementById("highlight").setAttribute("accesskey", "z");


Grazie mille!! Sapevo che era possibile tramite userChrome.js ma non sapevo come provvedo subito perchè è un problema snervante