Piccole novità dal fronte Okular. Direttamente dal blog di Albert Astals Cid arriva la notizia dell'aggiunta di una nuova funzionalità realizzata da Fabio D'Urso che aggiunge, nelle opzioni di Okular, un tool per configurare gli strumenti di annotazione.
Ecco come appare la nuova funzionalità


Grazie a questo tool sarà possibile scegliere il tipo e il colore dell'evidenziatore predefinito oppure aggiungere due tipi di evidenziatori da usare per le nostre annotazioni sui PDF.