annotate frontends/sortilege_old/statusbar.py @ 756:efa0e0f57950

core (memory): new Sessions management class (similar to dict)
author Goffi <goffi@goffi.org>
date Tue, 24 Dec 2013 15:19:08 +0100
parents 84a6e83157c2
children
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 # sortilege: 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 Jé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
goffi@necton2
parents:
diff changeset
21 import curses
goffi@necton2
parents:
diff changeset
22 from window import Window
goffi@necton2
parents:
diff changeset
23 import os
goffi@necton2
parents:
diff changeset
24
goffi@necton2
parents:
diff changeset
25 class StatusBar(Window):
goffi@necton2
parents:
diff changeset
26 """This class manage the edition of text"""
goffi@necton2
parents:
diff changeset
27
goffi@necton2
parents:
diff changeset
28 def __init__(self, parent, code="utf-8"):
goffi@necton2
parents:
diff changeset
29 self.__parent=parent
goffi@necton2
parents:
diff changeset
30 self.__code=code
goffi@necton2
parents:
diff changeset
31 self.__items=set()
587
952322b1d490 Remove trailing whitespaces.
Emmanuel Gil Peyrot <linkmauve@linkmauve.fr>
parents: 480
diff changeset
32
0
goffi@necton2
parents:
diff changeset
33 Window.__init__(self, self.__parent, 1, self.__parent.getmaxyx()[1], self.__parent.getmaxyx()[0]-2,0, code=code)
goffi@necton2
parents:
diff changeset
34
goffi@necton2
parents:
diff changeset
35 def __len__(self):
goffi@necton2
parents:
diff changeset
36 return len(self.__items)
goffi@necton2
parents:
diff changeset
37
goffi@necton2
parents:
diff changeset
38 def resizeAdapt(self):
goffi@necton2
parents:
diff changeset
39 """Adapt window size to self.__parent size.
goffi@necton2
parents:
diff changeset
40 Must be called when self.__parent is resized."""
goffi@necton2
parents:
diff changeset
41 self.resize(1, self.__parent.getmaxyx()[1], self.__parent.getmaxyx()[0]-2,0)
goffi@necton2
parents:
diff changeset
42 self.update()
goffi@necton2
parents:
diff changeset
43
goffi@necton2
parents:
diff changeset
44 def update(self):
goffi@necton2
parents:
diff changeset
45 if self.isHidden():
goffi@necton2
parents:
diff changeset
46 return
goffi@necton2
parents:
diff changeset
47 Window.update(self)
goffi@necton2
parents:
diff changeset
48 x=0
goffi@necton2
parents:
diff changeset
49 for item in self.__items:
goffi@necton2
parents:
diff changeset
50 pitem="[%s] " % item
goffi@necton2
parents:
diff changeset
51 self.addYXStr(0, x, pitem, curses.A_REVERSE)
goffi@necton2
parents:
diff changeset
52 x = x + len(pitem)
goffi@necton2
parents:
diff changeset
53 if x>=self.rWidth:
goffi@necton2
parents:
diff changeset
54 break
goffi@necton2
parents:
diff changeset
55 self.addYXStr(0, x, (self.rWidth-x)*" ", curses.A_REVERSE)
goffi@necton2
parents:
diff changeset
56 self.noutrefresh()
goffi@necton2
parents:
diff changeset
57
goffi@necton2
parents:
diff changeset
58 def clear_text(self):
goffi@necton2
parents:
diff changeset
59 """Clear the text of the edit box"""
goffi@necton2
parents:
diff changeset
60 del(self.__items[:])
587
952322b1d490 Remove trailing whitespaces.
Emmanuel Gil Peyrot <linkmauve@linkmauve.fr>
parents: 480
diff changeset
61
0
goffi@necton2
parents:
diff changeset
62 def add_item(self, item):
goffi@necton2
parents:
diff changeset
63 self.__items.add(item)
goffi@necton2
parents:
diff changeset
64 self.update()
587
952322b1d490 Remove trailing whitespaces.
Emmanuel Gil Peyrot <linkmauve@linkmauve.fr>
parents: 480
diff changeset
65
0
goffi@necton2
parents:
diff changeset
66 def remove_item(self, item):
goffi@necton2
parents:
diff changeset
67 if item in self.__items:
goffi@necton2
parents:
diff changeset
68 self.__items.remove(item)
goffi@necton2
parents:
diff changeset
69 self.update()