@William (sorry, got posted too early, a pity launchpad don't let you edit comments). I read wrongly your comment and thought it would have been of no use (I use only latin keyboards --- switch between US intl, US intl AltGr-dead keys, and Spanish), and the name of the PPA is for "non-latin"...
@William (sorry, got posted too early, a pity launchpad don't let you edit comments). I read wrongly your comment and thought it would have been of no use (I use only latin keyboards --- switch between US intl, US intl AltGr-dead keys, and Spanish), and the name of the PPA is for "non-latin"...