diff options
| author | Josh Blum <josh@joshknows.com> | 2009-09-05 01:54:41 -0700 |
|---|---|---|
| committer | Josh Blum <josh@joshknows.com> | 2009-09-05 01:54:41 -0700 |
| commit | 5f54b018b3a84ba4b68009a1c326ba73eaea8cfd (patch) | |
| tree | 3e97334dbebb3b871952d6d179fa2f82c05bacca /grc/gui/Platform.py | |
| parent | 4cc3667b348d58ef4fb30f0ecbe494cdb109fc83 (diff) | |
standardized the Element inheritance __init__ usage in gui
Diffstat (limited to 'grc/gui/Platform.py')
| -rw-r--r-- | grc/gui/Platform.py | 3 |
1 files changed, 2 insertions, 1 deletions
diff --git a/grc/gui/Platform.py b/grc/gui/Platform.py index 8f0aa533d4..8bbfaca232 100644 --- a/grc/gui/Platform.py +++ b/grc/gui/Platform.py @@ -19,4 +19,5 @@ Foundation, Inc., 51 Franklin Street, Fifth Floor, Boston, MA 02110-1301, USA from Element import Element -class Platform(Element): pass +class Platform(Element): + def __init__(self): Element.__init__(self) |