[OKULAR] cambiare colore dell'evidenziatore

[ambulanza]

Vorrei impostare diversi colori di evidenziatore su Okular senza dover stare ogni volta a cambiarlo manualmente da proprietà.
Ho trovato QUESTA guida molto utile: andando a cambiare il file tools.xml dovrei essere in grado di avere più colori semplicemente richiamando la scorciatoia.

Codice: Seleziona tutto

 <tool id="4" type="highlight">
        <engine type="TextSelector" color="#FFFF00">
            <annotation type="Highlight" color="#FFFF00" />
        </engine>
        <shortcut>4</shortcut>
    </tool>

    <tool id="a" type="highlight">
	<engine type="TextSelector" color="#FF4500">
	     <annotation type="Highlight" color="#FF4500" />
	</engine>
	<shortcut>a</shortcut>
    </tool>
	
    <tool id="b" type="highlight">
        <engine type="TextSelector" color="#2E8B57">
            <annotation type="Highlight" color="#2E8B57" />
        </engine>
        <shortcut>b</shortcut>
    </tool>    
    
    <tool id="c" type="highlight">
        <engine type="TextSelector" color="#cd5c5c">
            <annotation type="Highlight" color="#cd5c5c" />
        </engine>
        <shortcut>c</shortcut>
    </tool>

Succede però una cosa molto strana: risco ad impostare solo due colori, perchè aggiungendone un terzo ed un quarto colore, nonostante la grafica dei pulsanti (cerchiata in nero nella foto) sembri promettente, all'atto di evidenziare mi esce per tutti lo stesso colore (le 4 linee sono state fatte cliccando i 4 diversi pulsanti, ma dalla seconda in poi il colore resta bloccatto sul rosso)...

Cosa potrei fare?