diff options
author | Marco Pesenti Gritti <mpgritti@gmail.com> | 2008-10-21 23:19:29 (GMT) |
---|---|---|
committer | Marco Pesenti Gritti <mpgritti@gmail.com> | 2008-10-21 23:19:29 (GMT) |
commit | a39d2b92d95e14f6d3470a00f37818a26dda0881 (patch) | |
tree | 64e0d4eb893f63ee6e067ad6c6078f9c0aa1cbd7 /bin | |
parent | c9a13a716f6c2666f8a2460512819c55f14b1067 (diff) | |
parent | 5596f6c64d5b4328c6b2acd02ec1623113797929 (diff) |
Merge branch 'master' of git+ssh://dev.laptop.org/git/sugar
Diffstat (limited to 'bin')
-rw-r--r-- | bin/sugar-emulator | 6 |
1 files changed, 4 insertions, 2 deletions
diff --git a/bin/sugar-emulator b/bin/sugar-emulator index 33bd71f..4daba14 100644 --- a/bin/sugar-emulator +++ b/bin/sugar-emulator @@ -91,8 +91,10 @@ def main(): """Script-level operations""" parser = OptionParser() - parser.add_option('-d', '--dpi', dest='dpi', help='Emulator dpi') - parser.add_option('-s', '--scaling', dest='scaling', help='Sugar scaling') + parser.add_option('-d', '--dpi', dest='dpi', type="int", + help='Emulator dpi') + parser.add_option('-s', '--scaling', dest='scaling', + help='Sugar scaling in %') parser.add_option('-i', '--dimensions', dest='dimensions', help='Emulator dimensions (ex. 1200x900)') (options, args) = parser.parse_args() |