Mercurial > libervia-backend
view frontends/sortilege/statusbar.py @ 24:61124cb82fb7
Updated README and licenses (for images), added installation instructions.
author | Goffi <goffi@goffi.org> |
---|---|
date | Tue, 01 Dec 2009 07:55:46 +0100 |
parents | c4bc297b82f0 |
children | a5b5fb5fc9fd |
line wrap: on
line source
#!/usr/bin/python # -*- coding: utf-8 -*- """ sortilege: a SAT frontend Copyright (C) 2009 Jérôme Poisson (goffi@goffi.org) This program is free software: you can redistribute it and/or modify it under the terms of the GNU General Public License as published by the Free Software Foundation, either version 3 of the License, or (at your option) any later version. This program is distributed in the hope that it will be useful, but WITHOUT ANY WARRANTY; without even the implied warranty of MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the GNU General Public License for more details. You should have received a copy of the GNU General Public License along with this program. If not, see <http://www.gnu.org/licenses/>. """ import curses from window import Window import os def echo(message): return os.system('echo "'+str(message)+'" >> /tmp/toto') class StatusBar(Window): """This class manage the edition of text""" def __init__(self, parent, code="utf-8"): self.__parent=parent self.__code=code self.__items=set() Window.__init__(self, self.__parent, 1, self.__parent.getmaxyx()[1], self.__parent.getmaxyx()[0]-2,0, code=code) def __len__(self): return len(self.__items) def resizeAdapt(self): """Adapt window size to self.__parent size. Must be called when self.__parent is resized.""" self.resize(1, self.__parent.getmaxyx()[1], self.__parent.getmaxyx()[0]-2,0) self.update() def update(self): if self.isHidden(): echo ("status bar hidden") return echo ("update status bar") Window.update(self) x=0 for item in self.__items: pitem="[%s] " % item self.addYXStr(0, x, pitem, curses.A_REVERSE) x = x + len(pitem) if x>=self.rWidth: break self.addYXStr(0, x, (self.rWidth-x)*" ", curses.A_REVERSE) self.noutrefresh() def clear_text(self): """Clear the text of the edit box""" del(self.__items[:]) def add_item(self, item): self.__items.add(item) self.update() def remove_item(self, item): if item in self.__items: self.__items.remove(item) self.update()