Mercurial > libervia-backend

comparison frontends/sortilege_old/statusbar.py @ 112:f551e44adb25

Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
Primitivus first draft - Sortilège is recoded using urwid, and renamed in Primitivus as it is no more based on curses - soritlege code moved to sortilege_old, and deprecated - Primitivus first draft, begining of ProfileManager widget
author Goffi <goffi@goffi.org>
date Wed, 30 Jun 2010 14:24:24 +0800
parents frontends/sortilege/statusbar.py@8f2ed279784b
children b1794cbb88e5
comparison
equal deleted inserted replaced
111:6c927140ba82 112:f551e44adb25
1 #!/usr/bin/python
2 # -*- coding: utf-8 -*-
3
4 """
5 sortilege: a SAT frontend
6 Copyright (C) 2009, 2010 Jérôme Poisson (goffi@goffi.org)
7
8 This program is free software: you can redistribute it and/or modify
9 it under the terms of the GNU General Public License as published by
10 the Free Software Foundation, either version 3 of the License, or
11 (at your option) any later version.
12
13 This program is distributed in the hope that it will be useful,
14 but WITHOUT ANY WARRANTY; without even the implied warranty of
15 MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
16 GNU General Public License for more details.
17
18 You should have received a copy of the GNU General Public License
19 along with this program. If not, see <http://www.gnu.org/licenses/>.
20 """
21
22
23 import curses
24 from window import Window
25 import os
26
27 class StatusBar(Window):
28 """This class manage the edition of text"""
29
30 def __init__(self, parent, code="utf-8"):
31 self.__parent=parent
32 self.__code=code
33 self.__items=set()
34
35 Window.__init__(self, self.__parent, 1, self.__parent.getmaxyx()[1], self.__parent.getmaxyx()[0]-2,0, code=code)
36
37 def __len__(self):
38 return len(self.__items)
39
40 def resizeAdapt(self):
41 """Adapt window size to self.__parent size.
42 Must be called when self.__parent is resized."""
43 self.resize(1, self.__parent.getmaxyx()[1], self.__parent.getmaxyx()[0]-2,0)
44 self.update()
45
46 def update(self):
47 if self.isHidden():
48 return
49 Window.update(self)
50 x=0
51 for item in self.__items:
52 pitem="[%s] " % item
53 self.addYXStr(0, x, pitem, curses.A_REVERSE)
54 x = x + len(pitem)
55 if x>=self.rWidth:
56 break
57 self.addYXStr(0, x, (self.rWidth-x)*" ", curses.A_REVERSE)
58 self.noutrefresh()
59
60 def clear_text(self):
61 """Clear the text of the edit box"""
62 del(self.__items[:])
63
64 def add_item(self, item):
65 self.__items.add(item)
66 self.update()
67
68 def remove_item(self, item):
69 if item in self.__items:
70 self.__items.remove(item)
71 self.update()