A Python plugin of gedit for typing with sound