Preferences/ConfigurationPages/EditorPropertiesPage.py

changeset 4021
195a471c327b
parent 3730
dccee91e9d8a
child 4206
8f0d697e6384
equal deleted inserted replaced
4020:ea66934c7d74 4021:195a471c327b
1 # -*- coding: utf-8 -*- 1 # -*- coding: utf-8 -*-
2 2
3 # Copyright (c) 2006 - 2014 Detlev Offenbach <detlev@die-offenbachs.de> 3 # Copyright (c) 2006 - 2015 Detlev Offenbach <detlev@die-offenbachs.de>
4 # 4 #
5 5
6 """ 6 """
7 Module implementing the Editor Properties configuration page. 7 Module implementing the Editor Properties configuration page.
8 """ 8 """

eric ide

mercurial