Personalizarea barei de extensii

Folosiți comanda Plugins/Manager de Plugin-s pentru a deschide dialogul Manager de Plugin-s. Găsiți extensia a cărei pictogramă doriți să o adăugați sau eliminați din bara de extensii și selectați-i numele în lista Plugins instalate. Folosiți caseta Arata icoana PLUGIN-NAME in bara Plugin (unde PLUGIN-NAME este numele extensiei).