Apply IDF tools patch from Cirilo Bernardo
Apply IDF tools patch from Cirilo Bernardo
New icons from Fabrizio Tappero
Merge branch 'master' into delete-and-backspace-equiv