Robert Costa zabbarob
zabbarob
/ new_gist_file
Created
September 7, 2013 19:39
flatten nested lists in python
From http://stackoverflow.com/questions/2158395/flatten-an-irregular-list-of-lists-in-python
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
| def flatten(l): | |
| for el in l: | |
| if isinstance(el, collections.Iterable) and not isinstance(el, basestring): | |
| for sub in flatten(el): | |
| yield sub | |
| else: | |
| yield el |
zabbarob
/ window-metrics.reg
Created
June 29, 2013 15:34
Sets various metrics for the Windows 8 GUI, like size of title bar and title bar font, size of scroll bar, border width and desktop icon spacing.
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
| Windows Registry Editor Version 5.00 | |
| [HKEY_CURRENT_USER\Control Panel\Desktop\WindowMetrics] | |
| "CaptionHeight"="-100" | |
| "CaptionFont"=hex:f4,ff,ff,ff,00,00,00,00,00,00,00,00,00,00,00,00,90,01,00,00,\ | |
| 00,00,00,01,00,00,00,00,53,00,65,00,67,00,6f,00,65,00,20,00,55,00,49,00,00,\ | |
| 00,00,00,00,00,00,00,00,00,00,00,00,00,00,00,00,00,00,00,00,00,00,00,00,00,\ | |
| 00,00,00,00,00,00,00,00,00,00,00,00,00,00,00,00,00,00,00,00,00,00 | |
| "ScrollHeight"="-100" | |
| "ScrollWidth"="-100" |
NewerOlder