Mercurial > libervia-backend
view frontends/sortilege_old/window.py @ 628:42ee0b0b0a15
wix: fixed application quitting (fix bug 25)
author | Goffi <goffi@goffi.org> |
---|---|
date | Sun, 23 Jun 2013 01:42:12 +0200 |
parents | 84a6e83157c2 |
children |
line wrap: on
line source
#!/usr/bin/python # -*- coding: utf-8 -*- # sortilege: a SAT frontend # Copyright (C) 2009, 2010, 2011 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 Affero 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 Affero General Public License for more details. # You should have received a copy of the GNU Affero General Public License # along with this program. If not, see <http://www.gnu.org/licenses/>. import curses import os import pdb class Window(object): def __init__(self, parent, height, width, y, x, border=False, title="", code="utf-8"): self.__border=border self.__title=title self.__active=False self.__parent=parent self.__code=code self.__hide=False self.resize(height, width, y, x) self.oriCoords=self.__coords #FIXME: tres moche, a faire en mieux def hide(self, hide=True): self.__hide=hide def show(self): self.__hide=False def isHidden(self): return self.__hide def getY(self): return self.__coords[2] def getX(self): return self.__coords[3] def getHeight(self): return self.__coords[0] def getWidth(self): return self.__coords[1] #FIXME: tres moche, a faire en plus joli def getOriY(self): return self.oriCoords[2] def getOriX(self): return self.oriCoords[3] def getOriHeight(self): return self.oriCoords[0] def getOriWidth(self): return self.oriCoords[1] def defInsideCoord(self): """define the inside coordinates (win coordinates minus decorations)""" height,width,y,x=self.__coords self.oriX = x if not self.__border else x+1 self.oriY = y if not self.__border else y+1 self.endX = x+width if not self.__border else x+width-2 self.endY = y+height if not self.__border else y+height-2 self.rWidth = width if not self.__border else width-2 self.rHeight = height if not self.__border else height-2 def resize(self, height, width, y, x): self.__coords=[height, width, y, x] # we check that coordinates are under limits self.__coordAdjust(self.__coords) height,width,y,x=self.__coords self.window = self.__parent.subwin(height, width, y, x) self.defInsideCoord() def __coordAdjust(self, coords): """Check that coordinates are under limits, adjust them else otherwise""" height,width,y,x=coords parentY, parentX = self.__parent.getbegyx() parentHeight, parentWidth = self.__parent.getmaxyx() if y < parentY: y = parentY if x < parentX: x = parentX if height > parentHeight - y: height = parentHeight - y if width > parentWidth - x: width = parentWidth - x coords[0], coords[1], coords[2], coords[3] = [height, width, y, x] def activate(self,state=True): """Declare this window as current active one""" self.__active=state self.update() def isActive(self): return self.__active def addYXStr(self, y, x, text, attr = 0, limit=0): if self.__border: x=x+1 y=y+1 n = self.rWidth-x if not limit else limit encoded = text.encode(self.__code) adjust = len(encoded) - len(text) # hack because addnstr doesn't manage unicode try: self.window.addnstr(y, x, encoded, n + adjust, attr) except: #We have to catch error to write on last line last col FIXME: is there a better way ? pass def move(self, y, x): self.window.move(y,x) def noutrefresh(self): self.window.noutrefresh() def update(self): """redraw all the window""" if self.__hide: return self.clear() def border(self): """redraw the border and title""" y,x = self.window.getbegyx() width = self.window.getmaxyx()[1] if self.__border: self.window.border() if self.__title: if len(self.__title)>width: self.__title="" else: self.window.addstr(y,x+(width-len(self.__title))/2, self.__title) def clear(self): self.window.clear() self.border()