Mercurial > libervia-backend

annotate frontends/src/wix/wix @ 1011:5a6354ff468c

Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
wix: use of new logging system
author Goffi <goffi@goffi.org>
date Mon, 05 May 2014 20:12:21 +0200
parents 42ee0b0b0a15
children a836b6da2c5c
Ignore whitespace changes - Everywhere: Within whitespace: At end of lines:
rev   line source
0
goffi@necton2
parents:
diff changeset
1 #!/usr/bin/python
goffi@necton2
parents:
diff changeset
2 # -*- coding: utf-8 -*-
goffi@necton2
parents:
diff changeset
3
609
84a6e83157c2 fixed licences in docstrings (they are now in comments)
Goffi <goffi@goffi.org>
parents: 587
diff changeset
4 # wix: a SAT frontend
84a6e83157c2 fixed licences in docstrings (they are now in comments)
Goffi <goffi@goffi.org>
parents: 587
diff changeset
5 # Copyright (C) 2009, 2010, 2011, 2012, 2013Jérôme Poisson (goffi@goffi.org)
0
goffi@necton2
parents:
diff changeset
6
609
84a6e83157c2 fixed licences in docstrings (they are now in comments)
Goffi <goffi@goffi.org>
parents: 587
diff changeset
7 # This program is free software: you can redistribute it and/or modify
84a6e83157c2 fixed licences in docstrings (they are now in comments)
Goffi <goffi@goffi.org>
parents: 587
diff changeset
8 # it under the terms of the GNU Affero General Public License as published by
84a6e83157c2 fixed licences in docstrings (they are now in comments)
Goffi <goffi@goffi.org>
parents: 587
diff changeset
9 # the Free Software Foundation, either version 3 of the License, or
84a6e83157c2 fixed licences in docstrings (they are now in comments)
Goffi <goffi@goffi.org>
parents: 587
diff changeset
10 # (at your option) any later version.
0
goffi@necton2
parents:
diff changeset
11
609
84a6e83157c2 fixed licences in docstrings (they are now in comments)
Goffi <goffi@goffi.org>
parents: 587
diff changeset
12 # This program is distributed in the hope that it will be useful,
84a6e83157c2 fixed licences in docstrings (they are now in comments)
Goffi <goffi@goffi.org>
parents: 587
diff changeset
13 # but WITHOUT ANY WARRANTY; without even the implied warranty of
84a6e83157c2 fixed licences in docstrings (they are now in comments)
Goffi <goffi@goffi.org>
parents: 587
diff changeset
14 # MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
84a6e83157c2 fixed licences in docstrings (they are now in comments)
Goffi <goffi@goffi.org>
parents: 587
diff changeset
15 # GNU Affero General Public License for more details.
0
goffi@necton2
parents:
diff changeset
16
609
84a6e83157c2 fixed licences in docstrings (they are now in comments)
Goffi <goffi@goffi.org>
parents: 587
diff changeset
17 # You should have received a copy of the GNU Affero General Public License
84a6e83157c2 fixed licences in docstrings (they are now in comments)
Goffi <goffi@goffi.org>
parents: 587
diff changeset
18 # along with this program. If not, see <http://www.gnu.org/licenses/>.
0
goffi@necton2
parents:
diff changeset
19
goffi@necton2
parents:
diff changeset
20
1011
5a6354ff468c wix: use of new logging system
Goffi <goffi@goffi.org>
parents: 628
diff changeset
21 from sat_frontends.wix.constants import Const as C
5a6354ff468c wix: use of new logging system
Goffi <goffi@goffi.org>
parents: 628
diff changeset
22 from sat.core import log
5a6354ff468c wix: use of new logging system
Goffi <goffi@goffi.org>
parents: 628
diff changeset
23 log.satConfigure(C.LOG_BACKEND_STANDARD, C)
0
goffi@necton2
parents:
diff changeset
24 import wx
587
952322b1d490 Remove trailing whitespaces.
Emmanuel Gil Peyrot <linkmauve@linkmauve.fr>
parents: 572
diff changeset
25 from sat_frontends.wix.main_window import MainWindow
0
goffi@necton2
parents:
diff changeset
26
goffi@necton2
parents:
diff changeset
27
goffi@necton2
parents:
diff changeset
28 class SATApp(wx.App):
goffi@necton2
parents:
diff changeset
29 def __init__(self, redirect=False, filename=None, useBestVisual=False, clearSigInt=True):
goffi@necton2
parents:
diff changeset
30 super(SATApp,self).__init__(redirect, filename, useBestVisual, clearSigInt)
goffi@necton2
parents:
diff changeset
31
goffi@necton2
parents:
diff changeset
32 def OnInit(self):
goffi@necton2
parents:
diff changeset
33 self.main = MainWindow()
goffi@necton2
parents:
diff changeset
34 self.main.Show(True)
goffi@necton2
parents:
diff changeset
35 self.SetTopWindow(self.main)
goffi@necton2
parents:
diff changeset
36 return True
goffi@necton2
parents:
diff changeset
37
goffi@necton2
parents:
diff changeset
38
goffi@necton2
parents:
diff changeset
39 sat = SATApp()
goffi@necton2
parents:
diff changeset
40 sat.MainLoop()