()
| 266 | image.shortcut = item[2] |
| 267 | |
| 268 | def do_setup(): |
| 269 | if len(sys.argv) > 1 and sys.argv[1] == 'random': |
| 270 | do_random = True |
| 271 | else: |
| 272 | do_random = False |
| 273 | if do_random: |
| 274 | media.config(background='#ffffff') |
| 275 | else: |
| 276 | media.config(background='#00007f') |
| 277 | names = files() |
| 278 | random.shuffle(names) |
| 279 | for name in names: |
| 280 | if name.lower().endswith('default.gif'): |
| 281 | calibrate = name |
| 282 | elif name.lower().endswith('.gif') and do_random: |
| 283 | image = PhotoImage(file=name) |
| 284 | put(media, image, random.random(), random.random()) |
| 285 | for x in range(2): |
| 286 | for y in range(2): |
| 287 | media.tag_lower(put(media, PhotoImage(file=calibrate), x, y)) |
| 288 | |
| 289 | ##if os.path.exists('shell.ini'): |
| 290 | try: |
no test coverage detected