Source code of geany-plugins to make a fantastic IDLE