Add zoom terminal. New option in PropertiesDialog
Correction proposal for previous error
Merge pull request #17 from zballina/master

Add zoom terminal. New option in PropertiesDialog