Orthographic
Explicitize arguments.
Merge branch 'new-gui' of github.com:ciromattia/kcc into new-gui
Merge branch 'new-gui' of github.com:ciromattia/kcc into new-gui
Merge branch 'new-gui' of github.com:ciromattia/kcc into new-gui
Merge branch 'new-gui' of github.com:ciromattia/kcc into new-gui
Merge branch 'new-gui' of github.com:ciromattia/kcc into new-gui