def cycle_tiler(self):
for i in range(len(Config.misc('tilers'))):
if Config.misc('tilers')[i] is self.__class__.__name__:
if (i + 1) == len(Config.misc('tilers')):
self.screen.set_tiler(Config.tilers(Config.misc('tilers')[0]))
else:
self.screen.set_tiler(Config.tilers(Config.misc('tilers')[i + 1]))
self._reset()
def help_resize(self,
window,
x,
y,
width,
height,
margin=0,
intMargin=None,
intBorders={
't': False,
'l': False,
'r': False,
'b': False
}):
if intMargin == None:
intMargin = margin
x += intMargin if intBorders['l'] else margin
y += intMargin if intBorders['t'] else margin
if intBorders['l']:
width -= intMargin
else:
width -= margin
if intBorders['r']:
width -= intMargin
else:
width -= margin
if intBorders['t']:
height -= intMargin
else:
height -= margin
if intBorders['b']:
height -= intMargin
else:
height -= margin
if window.static:
window.remove_static_property()
if Config.misc('decorations'):
if not Config.misc('original_decor'):
window.add_decorations()
window.resize(int(x), int(y),
int(width - window.d_left - window.d_right),
int(height - window.d_top - window.d_bottom))
else:
if Config.misc('original_decor'):
window.remove_decorations()
window.resize(int(x), int(y), int(width - 2), int(height - 2))
def __init__(self, viewport, attrs):
self.update_attributes(attrs)
self._active = None
self._tile = None
self._tiled = False
self._tiling = Config.misc('global_tiling')
self.windows = {}
self.viewport = viewport
def __init__(self, viewport, attrs):
self.update_attributes(attrs)
self._active = None
self._tile = None
self._tiled = False
self._tiling = Config.misc('global_tiling')
self.windows = {}
self.viewport = viewport
def _untile(self):
# just resize all the windows back to their original x/y/width/height
for window in self.storage.get_all():
if Config.misc('original_decor'):
window.add_decorations()
else:
window.remove_decorations()
window.resize(window.origx, window.origy, window.origwidth, window.origheight)
def help_resize(self, window, x, y, width, height, margin = 0):
if margin > 0:
x += margin
y += margin
width -= (2 * margin)
height -= (2 * margin)
if window.static:
window.remove_static_property()
if Config.misc('decorations'):
if not Config.misc('original_decor'):
window.add_decorations()
window.resize(int(x), int(y), int(width - window.d_left - window.d_right), int(height - window.d_top - window.d_bottom))
else:
if Config.misc('original_decor'):
window.remove_decorations()
window.resize(int(x), int(y), int(width - 2), int(height - 2))
