view frontends/sortilege/statusbar.py @ 32:c4badbf3dd97

wix.py renamed in wix and sortilege.py renamed in sortilege
author Goffi <goffi@goffi.org>
date Tue, 08 Dec 2009 08:13:12 +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()