tuikit/backend_curses.py
author Radek Brich <radek.brich@devl.cz>
Wed, 16 Feb 2011 23:51:30 +0100
changeset 0 a35731b5e31a
child 2 684cdc352562
permissions -rw-r--r--
tuikit
Ignore whitespace changes - Everywhere: Within whitespace: At end of lines:
0
Radek Brich <radek.brich@devl.cz>
parents:
diff changeset
     1
# -*- coding: utf-8 -*-
Radek Brich <radek.brich@devl.cz>
parents:
diff changeset
     2
Radek Brich <radek.brich@devl.cz>
parents:
diff changeset
     3
import curses
Radek Brich <radek.brich@devl.cz>
parents:
diff changeset
     4
import curses.ascii
Radek Brich <radek.brich@devl.cz>
parents:
diff changeset
     5
import locale
Radek Brich <radek.brich@devl.cz>
parents:
diff changeset
     6
import logging
Radek Brich <radek.brich@devl.cz>
parents:
diff changeset
     7
Radek Brich <radek.brich@devl.cz>
parents:
diff changeset
     8
from .common import Rect
Radek Brich <radek.brich@devl.cz>
parents:
diff changeset
     9
Radek Brich <radek.brich@devl.cz>
parents:
diff changeset
    10
Radek Brich <radek.brich@devl.cz>
parents:
diff changeset
    11
class MouseEvent:
Radek Brich <radek.brich@devl.cz>
parents:
diff changeset
    12
    def __init__(self, x=0, y=0):
Radek Brich <radek.brich@devl.cz>
parents:
diff changeset
    13
        self.x = x   # global coordinates
Radek Brich <radek.brich@devl.cz>
parents:
diff changeset
    14
        self.y = y
Radek Brich <radek.brich@devl.cz>
parents:
diff changeset
    15
        self.wx = x  # local widget coordinates
Radek Brich <radek.brich@devl.cz>
parents:
diff changeset
    16
        self.wy = y
Radek Brich <radek.brich@devl.cz>
parents:
diff changeset
    17
        self.px = 0  # parent coordinates
Radek Brich <radek.brich@devl.cz>
parents:
diff changeset
    18
        self.py = 0
Radek Brich <radek.brich@devl.cz>
parents:
diff changeset
    19
        self.button = 0
Radek Brich <radek.brich@devl.cz>
parents:
diff changeset
    20
Radek Brich <radek.brich@devl.cz>
parents:
diff changeset
    21
Radek Brich <radek.brich@devl.cz>
parents:
diff changeset
    22
    def childevent(self, child):
Radek Brich <radek.brich@devl.cz>
parents:
diff changeset
    23
        ev = MouseEvent(self.x, self.y)
Radek Brich <radek.brich@devl.cz>
parents:
diff changeset
    24
        # original local coordinates are new parent coordinates
Radek Brich <radek.brich@devl.cz>
parents:
diff changeset
    25
        ev.px = self.wx
Radek Brich <radek.brich@devl.cz>
parents:
diff changeset
    26
        ev.py = self.wy
Radek Brich <radek.brich@devl.cz>
parents:
diff changeset
    27
        # update local coordinates
Radek Brich <radek.brich@devl.cz>
parents:
diff changeset
    28
        ev.wx = self.wx - child.x
Radek Brich <radek.brich@devl.cz>
parents:
diff changeset
    29
        ev.wy = self.wy - child.y
Radek Brich <radek.brich@devl.cz>
parents:
diff changeset
    30
Radek Brich <radek.brich@devl.cz>
parents:
diff changeset
    31
        return ev
Radek Brich <radek.brich@devl.cz>
parents:
diff changeset
    32
Radek Brich <radek.brich@devl.cz>
parents:
diff changeset
    33
Radek Brich <radek.brich@devl.cz>
parents:
diff changeset
    34
class BackendCurses:
Radek Brich <radek.brich@devl.cz>
parents:
diff changeset
    35
    xterm_codes = (
Radek Brich <radek.brich@devl.cz>
parents:
diff changeset
    36
        (0x09,                      'tab'           ),
Radek Brich <radek.brich@devl.cz>
parents:
diff changeset
    37
        (0x0a,                      'enter'         ),
Radek Brich <radek.brich@devl.cz>
parents:
diff changeset
    38
        (0x7f,                      'backspace'     ),
Radek Brich <radek.brich@devl.cz>
parents:
diff changeset
    39
        (0x1b,0x4f,0x50,            'f1'            ),
Radek Brich <radek.brich@devl.cz>
parents:
diff changeset
    40
        (0x1b,0x4f,0x51,            'f2'            ),
Radek Brich <radek.brich@devl.cz>
parents:
diff changeset
    41
        (0x1b,0x4f,0x52,            'f3'            ),
Radek Brich <radek.brich@devl.cz>
parents:
diff changeset
    42
        (0x1b,0x4f,0x53,            'f4'            ),
Radek Brich <radek.brich@devl.cz>
parents:
diff changeset
    43
        (0x1b,0x5b,0x4d,            'mouse'         ),
Radek Brich <radek.brich@devl.cz>
parents:
diff changeset
    44
        (0x1b,0x5b,0x41,            'up'            ),
Radek Brich <radek.brich@devl.cz>
parents:
diff changeset
    45
        (0x1b,0x5b,0x42,            'down'          ),
Radek Brich <radek.brich@devl.cz>
parents:
diff changeset
    46
        (0x1b,0x5b,0x43,            'right'         ),
Radek Brich <radek.brich@devl.cz>
parents:
diff changeset
    47
        (0x1b,0x5b,0x44,            'left'          ),
Radek Brich <radek.brich@devl.cz>
parents:
diff changeset
    48
        (0x1b,0x5b,0x31,0x35,0x7e,  'f5'            ),
Radek Brich <radek.brich@devl.cz>
parents:
diff changeset
    49
        (0x1b,0x5b,0x31,0x37,0x7e,  'f6'            ),
Radek Brich <radek.brich@devl.cz>
parents:
diff changeset
    50
        (0x1b,0x5b,0x31,0x38,0x7e,  'f7'            ),
Radek Brich <radek.brich@devl.cz>
parents:
diff changeset
    51
        (0x1b,0x5b,0x31,0x39,0x7e,  'f8'            ),
Radek Brich <radek.brich@devl.cz>
parents:
diff changeset
    52
        (0x1b,0x5b,0x32,0x30,0x7e,  'f9'            ),
Radek Brich <radek.brich@devl.cz>
parents:
diff changeset
    53
        (0x1b,0x5b,0x32,0x31,0x7e,  'f10'           ),
Radek Brich <radek.brich@devl.cz>
parents:
diff changeset
    54
        (0x1b,0x5b,0x32,0x33,0x7e,  'f11'           ),
Radek Brich <radek.brich@devl.cz>
parents:
diff changeset
    55
        (0x1b,0x5b,0x32,0x34,0x7e,  'f12'           ),
Radek Brich <radek.brich@devl.cz>
parents:
diff changeset
    56
        (0x1b,0x5b,0x32,0x7e,       'insert'        ),
Radek Brich <radek.brich@devl.cz>
parents:
diff changeset
    57
        (0x1b,0x5b,0x33,0x7e,       'delete'        ),
Radek Brich <radek.brich@devl.cz>
parents:
diff changeset
    58
        (0x1b,0x5b,0x35,0x7e,       'pageup'        ),
Radek Brich <radek.brich@devl.cz>
parents:
diff changeset
    59
        (0x1b,0x5b,0x36,0x7e,       'pagedown'      ),
Radek Brich <radek.brich@devl.cz>
parents:
diff changeset
    60
        (0x1b,0x5b,0x46,            'end'           ),
Radek Brich <radek.brich@devl.cz>
parents:
diff changeset
    61
        (0x1b,0x5b,0x48,            'home'          ),
Radek Brich <radek.brich@devl.cz>
parents:
diff changeset
    62
        (0x1b,                      'escape'        ),
Radek Brich <radek.brich@devl.cz>
parents:
diff changeset
    63
    )
Radek Brich <radek.brich@devl.cz>
parents:
diff changeset
    64
Radek Brich <radek.brich@devl.cz>
parents:
diff changeset
    65
    def __init__(self, screen):
Radek Brich <radek.brich@devl.cz>
parents:
diff changeset
    66
        self.screen = screen
Radek Brich <radek.brich@devl.cz>
parents:
diff changeset
    67
        self.height, self.width = screen.getmaxyx()
Radek Brich <radek.brich@devl.cz>
parents:
diff changeset
    68
Radek Brich <radek.brich@devl.cz>
parents:
diff changeset
    69
        self.clipstack = []
Radek Brich <radek.brich@devl.cz>
parents:
diff changeset
    70
        self.colorstack = []
Radek Brich <radek.brich@devl.cz>
parents:
diff changeset
    71
        self.inputqueue = []
Radek Brich <radek.brich@devl.cz>
parents:
diff changeset
    72
        self.mbtnstack = []
Radek Brich <radek.brich@devl.cz>
parents:
diff changeset
    73
Radek Brich <radek.brich@devl.cz>
parents:
diff changeset
    74
        self.log = logging.getLogger('tuikit')
Radek Brich <radek.brich@devl.cz>
parents:
diff changeset
    75
Radek Brich <radek.brich@devl.cz>
parents:
diff changeset
    76
        # initialize curses
Radek Brich <radek.brich@devl.cz>
parents:
diff changeset
    77
        curses.curs_set(False)
Radek Brich <radek.brich@devl.cz>
parents:
diff changeset
    78
        curses.mousemask(curses.ALL_MOUSE_EVENTS | curses.REPORT_MOUSE_POSITION)
Radek Brich <radek.brich@devl.cz>
parents:
diff changeset
    79
        curses.mouseinterval(0)  # do not wait to detect clicks, we use only press/release
Radek Brich <radek.brich@devl.cz>
parents:
diff changeset
    80
Radek Brich <radek.brich@devl.cz>
parents:
diff changeset
    81
        screen.immedok(0)
Radek Brich <radek.brich@devl.cz>
parents:
diff changeset
    82
        screen.keypad(0)
Radek Brich <radek.brich@devl.cz>
parents:
diff changeset
    83
Radek Brich <radek.brich@devl.cz>
parents:
diff changeset
    84
        curses.init_pair(1, curses.COLOR_WHITE, curses.COLOR_BLACK)
Radek Brich <radek.brich@devl.cz>
parents:
diff changeset
    85
        curses.init_pair(2, curses.COLOR_BLACK, curses.COLOR_CYAN)
Radek Brich <radek.brich@devl.cz>
parents:
diff changeset
    86
        curses.init_pair(3, curses.COLOR_WHITE, curses.COLOR_CYAN)
Radek Brich <radek.brich@devl.cz>
parents:
diff changeset
    87
Radek Brich <radek.brich@devl.cz>
parents:
diff changeset
    88
        self.BOLD = curses.A_BOLD
Radek Brich <radek.brich@devl.cz>
parents:
diff changeset
    89
        self.BLINK = curses.A_BLINK
Radek Brich <radek.brich@devl.cz>
parents:
diff changeset
    90
        self.UNDERLINE = curses.A_UNDERLINE
Radek Brich <radek.brich@devl.cz>
parents:
diff changeset
    91
Radek Brich <radek.brich@devl.cz>
parents:
diff changeset
    92
        # http://en.wikipedia.org/wiki/List_of_Unicode_characters#Geometric_shapes
Radek Brich <radek.brich@devl.cz>
parents:
diff changeset
    93
        self.UP_ARROW = '▲' #curses.ACS_UARROW
Radek Brich <radek.brich@devl.cz>
parents:
diff changeset
    94
        self.DOWN_ARROW = '▼' #curses.ACS_DARROW
Radek Brich <radek.brich@devl.cz>
parents:
diff changeset
    95
Radek Brich <radek.brich@devl.cz>
parents:
diff changeset
    96
        # http://en.wikipedia.org/wiki/Box-drawing_characters
Radek Brich <radek.brich@devl.cz>
parents:
diff changeset
    97
        self.LIGHT_SHADE = '░' #curses.ACS_BOARD
Radek Brich <radek.brich@devl.cz>
parents:
diff changeset
    98
        self.MEDIUM_SHADE = '▒'
Radek Brich <radek.brich@devl.cz>
parents:
diff changeset
    99
        self.DARK_SHADE = '▓'
Radek Brich <radek.brich@devl.cz>
parents:
diff changeset
   100
        self.BLOCK = '█'
Radek Brich <radek.brich@devl.cz>
parents:
diff changeset
   101
Radek Brich <radek.brich@devl.cz>
parents:
diff changeset
   102
        self.COLUMN = '▁▂▃▄▅▆▇█'
Radek Brich <radek.brich@devl.cz>
parents:
diff changeset
   103
        self.CORNER_ROUND = '╭╮╰╯'
Radek Brich <radek.brich@devl.cz>
parents:
diff changeset
   104
        self.CORNER = '┌┐└┘'
Radek Brich <radek.brich@devl.cz>
parents:
diff changeset
   105
        self.LINE = '─━│┃┄┅┆┇┈┉┊┋'
Radek Brich <radek.brich@devl.cz>
parents:
diff changeset
   106
Radek Brich <radek.brich@devl.cz>
parents:
diff changeset
   107
        self.HLINE = '─' # curses.ACS_HLINE
Radek Brich <radek.brich@devl.cz>
parents:
diff changeset
   108
        self.VLINE = '│' # curses.ACS_VLINE
Radek Brich <radek.brich@devl.cz>
parents:
diff changeset
   109
        self.ULCORNER = '┌' # curses.ACS_ULCORNER
Radek Brich <radek.brich@devl.cz>
parents:
diff changeset
   110
        self.URCORNER = '┐' # curses.ACS_URCORNER
Radek Brich <radek.brich@devl.cz>
parents:
diff changeset
   111
        self.LLCORNER = '└' # curses.ACS_LLCORNER
Radek Brich <radek.brich@devl.cz>
parents:
diff changeset
   112
        self.LRCORNER = '┘' # curses.ACS_LRCORNER
Radek Brich <radek.brich@devl.cz>
parents:
diff changeset
   113
        self.LTEE = '├'
Radek Brich <radek.brich@devl.cz>
parents:
diff changeset
   114
        self.RTEE = '┤'
Radek Brich <radek.brich@devl.cz>
parents:
diff changeset
   115
Radek Brich <radek.brich@devl.cz>
parents:
diff changeset
   116
Radek Brich <radek.brich@devl.cz>
parents:
diff changeset
   117
    ## clip operations ##
Radek Brich <radek.brich@devl.cz>
parents:
diff changeset
   118
Radek Brich <radek.brich@devl.cz>
parents:
diff changeset
   119
    def pushclip(self, x, y, w, h):
Radek Brich <radek.brich@devl.cz>
parents:
diff changeset
   120
        newclip = Rect(x, y, w, h)
Radek Brich <radek.brich@devl.cz>
parents:
diff changeset
   121
        if len(self.clipstack):
Radek Brich <radek.brich@devl.cz>
parents:
diff changeset
   122
            oldclip = self.clipstack[-1]
Radek Brich <radek.brich@devl.cz>
parents:
diff changeset
   123
            newclip = self.intersect(oldclip, newclip)
Radek Brich <radek.brich@devl.cz>
parents:
diff changeset
   124
        self.clipstack.append(newclip)
Radek Brich <radek.brich@devl.cz>
parents:
diff changeset
   125
Radek Brich <radek.brich@devl.cz>
parents:
diff changeset
   126
Radek Brich <radek.brich@devl.cz>
parents:
diff changeset
   127
    def popclip(self):
Radek Brich <radek.brich@devl.cz>
parents:
diff changeset
   128
        self.clipstack.pop()
Radek Brich <radek.brich@devl.cz>
parents:
diff changeset
   129
Radek Brich <radek.brich@devl.cz>
parents:
diff changeset
   130
Radek Brich <radek.brich@devl.cz>
parents:
diff changeset
   131
    def testclip(self, x, y):
Radek Brich <radek.brich@devl.cz>
parents:
diff changeset
   132
        # no clip rectangle on stack => passed
Radek Brich <radek.brich@devl.cz>
parents:
diff changeset
   133
        if not len(self.clipstack):
Radek Brich <radek.brich@devl.cz>
parents:
diff changeset
   134
            return True
Radek Brich <radek.brich@devl.cz>
parents:
diff changeset
   135
        # test against top clip rect from stack
Radek Brich <radek.brich@devl.cz>
parents:
diff changeset
   136
        clip = self.clipstack[-1]
Radek Brich <radek.brich@devl.cz>
parents:
diff changeset
   137
        if x < clip.x or y < clip.y \
Radek Brich <radek.brich@devl.cz>
parents:
diff changeset
   138
        or x >= clip.x + clip.w or y >= clip.y + clip.h:
Radek Brich <radek.brich@devl.cz>
parents:
diff changeset
   139
            return False
Radek Brich <radek.brich@devl.cz>
parents:
diff changeset
   140
        # passed
Radek Brich <radek.brich@devl.cz>
parents:
diff changeset
   141
        return True
Radek Brich <radek.brich@devl.cz>
parents:
diff changeset
   142
Radek Brich <radek.brich@devl.cz>
parents:
diff changeset
   143
Radek Brich <radek.brich@devl.cz>
parents:
diff changeset
   144
    def intersect(self, r1, r2):
Radek Brich <radek.brich@devl.cz>
parents:
diff changeset
   145
        x1 = max(r1.x, r2.x)
Radek Brich <radek.brich@devl.cz>
parents:
diff changeset
   146
        y1 = max(r1.y, r2.y)
Radek Brich <radek.brich@devl.cz>
parents:
diff changeset
   147
        x2 = min(r1.x + r1.w, r2.x + r2.w)
Radek Brich <radek.brich@devl.cz>
parents:
diff changeset
   148
        y2 = min(r1.y + r1.h, r2.y + r2.h)
Radek Brich <radek.brich@devl.cz>
parents:
diff changeset
   149
        if x1 >= x2 or y1 >= y2:
Radek Brich <radek.brich@devl.cz>
parents:
diff changeset
   150
            return Rect()
Radek Brich <radek.brich@devl.cz>
parents:
diff changeset
   151
        return Rect(x1, y1, x2-x1, y2-y1)
Radek Brich <radek.brich@devl.cz>
parents:
diff changeset
   152
Radek Brich <radek.brich@devl.cz>
parents:
diff changeset
   153
Radek Brich <radek.brich@devl.cz>
parents:
diff changeset
   154
    def union(self, r1, r2):
Radek Brich <radek.brich@devl.cz>
parents:
diff changeset
   155
        x = min(r1.x, r2.x)
Radek Brich <radek.brich@devl.cz>
parents:
diff changeset
   156
        y = min(r1.y, r2.y)
Radek Brich <radek.brich@devl.cz>
parents:
diff changeset
   157
        w = max(r1.x + r1.w, r2.x + r2.w) - x
Radek Brich <radek.brich@devl.cz>
parents:
diff changeset
   158
        h = max(r1.y + r1.h, r2.y + r2.h) - y
Radek Brich <radek.brich@devl.cz>
parents:
diff changeset
   159
        return Rect(x, y, w, h)
Radek Brich <radek.brich@devl.cz>
parents:
diff changeset
   160
Radek Brich <radek.brich@devl.cz>
parents:
diff changeset
   161
Radek Brich <radek.brich@devl.cz>
parents:
diff changeset
   162
    ## attributes ##
Radek Brich <radek.brich@devl.cz>
parents:
diff changeset
   163
Radek Brich <radek.brich@devl.cz>
parents:
diff changeset
   164
    def pushcolor(self, col, attr=0):
Radek Brich <radek.brich@devl.cz>
parents:
diff changeset
   165
        self.screen.attrset(curses.color_pair(col) | attr)
Radek Brich <radek.brich@devl.cz>
parents:
diff changeset
   166
        self.colorstack.append((col, attr))
Radek Brich <radek.brich@devl.cz>
parents:
diff changeset
   167
Radek Brich <radek.brich@devl.cz>
parents:
diff changeset
   168
Radek Brich <radek.brich@devl.cz>
parents:
diff changeset
   169
    def popcolor(self):
Radek Brich <radek.brich@devl.cz>
parents:
diff changeset
   170
        self.colorstack.pop()
Radek Brich <radek.brich@devl.cz>
parents:
diff changeset
   171
        if len(self.colorstack):
Radek Brich <radek.brich@devl.cz>
parents:
diff changeset
   172
            col, attr = self.colorstack[-1]
Radek Brich <radek.brich@devl.cz>
parents:
diff changeset
   173
        else:
Radek Brich <radek.brich@devl.cz>
parents:
diff changeset
   174
            col, attr = 0, 0
Radek Brich <radek.brich@devl.cz>
parents:
diff changeset
   175
        self.screen.attrset(curses.color_pair(col) | attr)
Radek Brich <radek.brich@devl.cz>
parents:
diff changeset
   176
Radek Brich <radek.brich@devl.cz>
parents:
diff changeset
   177
Radek Brich <radek.brich@devl.cz>
parents:
diff changeset
   178
    ## drawing ##
Radek Brich <radek.brich@devl.cz>
parents:
diff changeset
   179
Radek Brich <radek.brich@devl.cz>
parents:
diff changeset
   180
    def putch(self, x, y, c):
Radek Brich <radek.brich@devl.cz>
parents:
diff changeset
   181
        if not self.testclip(x, y):
Radek Brich <radek.brich@devl.cz>
parents:
diff changeset
   182
            return
Radek Brich <radek.brich@devl.cz>
parents:
diff changeset
   183
        try:
Radek Brich <radek.brich@devl.cz>
parents:
diff changeset
   184
            if type(c) is str and len(c) == 1:
Radek Brich <radek.brich@devl.cz>
parents:
diff changeset
   185
                self.screen.addstr(y, x, c)
Radek Brich <radek.brich@devl.cz>
parents:
diff changeset
   186
            else:
Radek Brich <radek.brich@devl.cz>
parents:
diff changeset
   187
                self.screen.addch(y, x, c)
Radek Brich <radek.brich@devl.cz>
parents:
diff changeset
   188
        except curses.error:
Radek Brich <radek.brich@devl.cz>
parents:
diff changeset
   189
            pass
Radek Brich <radek.brich@devl.cz>
parents:
diff changeset
   190
Radek Brich <radek.brich@devl.cz>
parents:
diff changeset
   191
Radek Brich <radek.brich@devl.cz>
parents:
diff changeset
   192
    def puts(self, x, y, s):
Radek Brich <radek.brich@devl.cz>
parents:
diff changeset
   193
        for c in s:
Radek Brich <radek.brich@devl.cz>
parents:
diff changeset
   194
            self.putch(x, y, c)
Radek Brich <radek.brich@devl.cz>
parents:
diff changeset
   195
            x += 1
Radek Brich <radek.brich@devl.cz>
parents:
diff changeset
   196
Radek Brich <radek.brich@devl.cz>
parents:
diff changeset
   197
Radek Brich <radek.brich@devl.cz>
parents:
diff changeset
   198
    def hline(self, x, y, w, c=' '):
Radek Brich <radek.brich@devl.cz>
parents:
diff changeset
   199
        if type(c) is str:
Radek Brich <radek.brich@devl.cz>
parents:
diff changeset
   200
            s = c*w
Radek Brich <radek.brich@devl.cz>
parents:
diff changeset
   201
        else:
Radek Brich <radek.brich@devl.cz>
parents:
diff changeset
   202
            s = [c]*w
Radek Brich <radek.brich@devl.cz>
parents:
diff changeset
   203
        self.puts(x, y, s)
Radek Brich <radek.brich@devl.cz>
parents:
diff changeset
   204
Radek Brich <radek.brich@devl.cz>
parents:
diff changeset
   205
Radek Brich <radek.brich@devl.cz>
parents:
diff changeset
   206
    def vline(self, x, y, h, c=' '):
Radek Brich <radek.brich@devl.cz>
parents:
diff changeset
   207
        for i in range(h):
Radek Brich <radek.brich@devl.cz>
parents:
diff changeset
   208
            self.putch(x, y+i, c)
Radek Brich <radek.brich@devl.cz>
parents:
diff changeset
   209
Radek Brich <radek.brich@devl.cz>
parents:
diff changeset
   210
Radek Brich <radek.brich@devl.cz>
parents:
diff changeset
   211
    def frame(self, x, y, w, h):
Radek Brich <radek.brich@devl.cz>
parents:
diff changeset
   212
        self.putch(x, y, self.ULCORNER)
Radek Brich <radek.brich@devl.cz>
parents:
diff changeset
   213
        self.putch(x+w-1, y, self.URCORNER)
Radek Brich <radek.brich@devl.cz>
parents:
diff changeset
   214
        self.putch(x, y+h-1, self.LLCORNER)
Radek Brich <radek.brich@devl.cz>
parents:
diff changeset
   215
        self.putch(x+w-1, y+h-1, self.LRCORNER)
Radek Brich <radek.brich@devl.cz>
parents:
diff changeset
   216
        self.hline(x+1, y, w-2, self.HLINE)
Radek Brich <radek.brich@devl.cz>
parents:
diff changeset
   217
        self.hline(x+1, y+h-1, w-2, self.HLINE)
Radek Brich <radek.brich@devl.cz>
parents:
diff changeset
   218
        self.vline(x, y+1, h-2, self.VLINE)
Radek Brich <radek.brich@devl.cz>
parents:
diff changeset
   219
        self.vline(x+w-1, y+1, h-2, self.VLINE)
Radek Brich <radek.brich@devl.cz>
parents:
diff changeset
   220
Radek Brich <radek.brich@devl.cz>
parents:
diff changeset
   221
Radek Brich <radek.brich@devl.cz>
parents:
diff changeset
   222
    def fill(self, x, y, w, h, c=' '):
Radek Brich <radek.brich@devl.cz>
parents:
diff changeset
   223
        for i in range(h):
Radek Brich <radek.brich@devl.cz>
parents:
diff changeset
   224
            self.hline(x, y + i, w, c)
Radek Brich <radek.brich@devl.cz>
parents:
diff changeset
   225
Radek Brich <radek.brich@devl.cz>
parents:
diff changeset
   226
Radek Brich <radek.brich@devl.cz>
parents:
diff changeset
   227
    def erase(self):
Radek Brich <radek.brich@devl.cz>
parents:
diff changeset
   228
        curses.curs_set(False)
Radek Brich <radek.brich@devl.cz>
parents:
diff changeset
   229
        self.cursor = None
Radek Brich <radek.brich@devl.cz>
parents:
diff changeset
   230
        self.screen.erase()
Radek Brich <radek.brich@devl.cz>
parents:
diff changeset
   231
Radek Brich <radek.brich@devl.cz>
parents:
diff changeset
   232
Radek Brich <radek.brich@devl.cz>
parents:
diff changeset
   233
    def commit(self):
Radek Brich <radek.brich@devl.cz>
parents:
diff changeset
   234
        if self.cursor:
Radek Brich <radek.brich@devl.cz>
parents:
diff changeset
   235
            self.screen.move(*self.cursor)
Radek Brich <radek.brich@devl.cz>
parents:
diff changeset
   236
            curses.curs_set(True)
Radek Brich <radek.brich@devl.cz>
parents:
diff changeset
   237
        else:
Radek Brich <radek.brich@devl.cz>
parents:
diff changeset
   238
            curses.curs_set(False)
Radek Brich <radek.brich@devl.cz>
parents:
diff changeset
   239
        self.screen.refresh()
Radek Brich <radek.brich@devl.cz>
parents:
diff changeset
   240
Radek Brich <radek.brich@devl.cz>
parents:
diff changeset
   241
Radek Brich <radek.brich@devl.cz>
parents:
diff changeset
   242
    ## cursor ##
Radek Brich <radek.brich@devl.cz>
parents:
diff changeset
   243
Radek Brich <radek.brich@devl.cz>
parents:
diff changeset
   244
    def showcursor(self, x, y):
Radek Brich <radek.brich@devl.cz>
parents:
diff changeset
   245
        if not self.testclip(x, y):
Radek Brich <radek.brich@devl.cz>
parents:
diff changeset
   246
            return
Radek Brich <radek.brich@devl.cz>
parents:
diff changeset
   247
        self.cursor = (y, x)
Radek Brich <radek.brich@devl.cz>
parents:
diff changeset
   248
Radek Brich <radek.brich@devl.cz>
parents:
diff changeset
   249
Radek Brich <radek.brich@devl.cz>
parents:
diff changeset
   250
    ## input ##
Radek Brich <radek.brich@devl.cz>
parents:
diff changeset
   251
Radek Brich <radek.brich@devl.cz>
parents:
diff changeset
   252
    def inputqueue_fill(self):
Radek Brich <radek.brich@devl.cz>
parents:
diff changeset
   253
        self.screen.nodelay(1)
Radek Brich <radek.brich@devl.cz>
parents:
diff changeset
   254
Radek Brich <radek.brich@devl.cz>
parents:
diff changeset
   255
        while True:
Radek Brich <radek.brich@devl.cz>
parents:
diff changeset
   256
            c = self.screen.getch()
Radek Brich <radek.brich@devl.cz>
parents:
diff changeset
   257
            if c == -1:
Radek Brich <radek.brich@devl.cz>
parents:
diff changeset
   258
                break
Radek Brich <radek.brich@devl.cz>
parents:
diff changeset
   259
            self.inputqueue.insert(0, c)
Radek Brich <radek.brich@devl.cz>
parents:
diff changeset
   260
Radek Brich <radek.brich@devl.cz>
parents:
diff changeset
   261
        self.screen.nodelay(0)
Radek Brich <radek.brich@devl.cz>
parents:
diff changeset
   262
Radek Brich <radek.brich@devl.cz>
parents:
diff changeset
   263
Radek Brich <radek.brich@devl.cz>
parents:
diff changeset
   264
    def inputqueue_next(self):
Radek Brich <radek.brich@devl.cz>
parents:
diff changeset
   265
        c = None
Radek Brich <radek.brich@devl.cz>
parents:
diff changeset
   266
        while c is None:
Radek Brich <radek.brich@devl.cz>
parents:
diff changeset
   267
            try:
Radek Brich <radek.brich@devl.cz>
parents:
diff changeset
   268
                c = self.inputqueue.pop()
Radek Brich <radek.brich@devl.cz>
parents:
diff changeset
   269
            except IndexError:
Radek Brich <radek.brich@devl.cz>
parents:
diff changeset
   270
                curses.napms(25)
Radek Brich <radek.brich@devl.cz>
parents:
diff changeset
   271
                self.inputqueue_fill()
Radek Brich <radek.brich@devl.cz>
parents:
diff changeset
   272
        return c
Radek Brich <radek.brich@devl.cz>
parents:
diff changeset
   273
Radek Brich <radek.brich@devl.cz>
parents:
diff changeset
   274
Radek Brich <radek.brich@devl.cz>
parents:
diff changeset
   275
    def process_input(self, timeout=None):
Radek Brich <radek.brich@devl.cz>
parents:
diff changeset
   276
        if len(self.inputqueue) > 0:
Radek Brich <radek.brich@devl.cz>
parents:
diff changeset
   277
            c = self.inputqueue_next()
Radek Brich <radek.brich@devl.cz>
parents:
diff changeset
   278
        else:
Radek Brich <radek.brich@devl.cz>
parents:
diff changeset
   279
            if not timeout is None:
Radek Brich <radek.brich@devl.cz>
parents:
diff changeset
   280
                curses.halfdelay(timeout)
Radek Brich <radek.brich@devl.cz>
parents:
diff changeset
   281
                c = self.screen.getch()
Radek Brich <radek.brich@devl.cz>
parents:
diff changeset
   282
                curses.cbreak()
Radek Brich <radek.brich@devl.cz>
parents:
diff changeset
   283
                if c == -1:
Radek Brich <radek.brich@devl.cz>
parents:
diff changeset
   284
                    return []
Radek Brich <radek.brich@devl.cz>
parents:
diff changeset
   285
            else:
Radek Brich <radek.brich@devl.cz>
parents:
diff changeset
   286
                c = self.screen.getch()
Radek Brich <radek.brich@devl.cz>
parents:
diff changeset
   287
Radek Brich <radek.brich@devl.cz>
parents:
diff changeset
   288
        if c == curses.KEY_MOUSE:
Radek Brich <radek.brich@devl.cz>
parents:
diff changeset
   289
            return self.process_mouse()
Radek Brich <radek.brich@devl.cz>
parents:
diff changeset
   290
Radek Brich <radek.brich@devl.cz>
parents:
diff changeset
   291
        elif curses.ascii.isctrl(c):
Radek Brich <radek.brich@devl.cz>
parents:
diff changeset
   292
            self.inputqueue.append(c)
Radek Brich <radek.brich@devl.cz>
parents:
diff changeset
   293
            self.inputqueue_fill()
Radek Brich <radek.brich@devl.cz>
parents:
diff changeset
   294
            return self.process_control_chars()
Radek Brich <radek.brich@devl.cz>
parents:
diff changeset
   295
Radek Brich <radek.brich@devl.cz>
parents:
diff changeset
   296
        elif c >= 192 and c <= 255:
Radek Brich <radek.brich@devl.cz>
parents:
diff changeset
   297
            self.inputqueue.append(c)
Radek Brich <radek.brich@devl.cz>
parents:
diff changeset
   298
            self.inputqueue_fill()
Radek Brich <radek.brich@devl.cz>
parents:
diff changeset
   299
            return self.process_utf8_chars()
Radek Brich <radek.brich@devl.cz>
parents:
diff changeset
   300
Radek Brich <radek.brich@devl.cz>
parents:
diff changeset
   301
        elif curses.ascii.isprint(c):
Radek Brich <radek.brich@devl.cz>
parents:
diff changeset
   302
            return [('keypress', None, str(chr(c)))]
Radek Brich <radek.brich@devl.cz>
parents:
diff changeset
   303
Radek Brich <radek.brich@devl.cz>
parents:
diff changeset
   304
        else:
Radek Brich <radek.brich@devl.cz>
parents:
diff changeset
   305
            #self.top.keypress(None, unicode(chr(c)))
Radek Brich <radek.brich@devl.cz>
parents:
diff changeset
   306
            self.inputqueue.append(c)
Radek Brich <radek.brich@devl.cz>
parents:
diff changeset
   307
            self.inputqueue_fill()
Radek Brich <radek.brich@devl.cz>
parents:
diff changeset
   308
            return self.process_control_chars()
Radek Brich <radek.brich@devl.cz>
parents:
diff changeset
   309
Radek Brich <radek.brich@devl.cz>
parents:
diff changeset
   310
Radek Brich <radek.brich@devl.cz>
parents:
diff changeset
   311
    def process_mouse(self):
Radek Brich <radek.brich@devl.cz>
parents:
diff changeset
   312
        id, x, y, z, bstate = curses.getmouse()
Radek Brich <radek.brich@devl.cz>
parents:
diff changeset
   313
        ev = MouseEvent(x, y)
Radek Brich <radek.brich@devl.cz>
parents:
diff changeset
   314
Radek Brich <radek.brich@devl.cz>
parents:
diff changeset
   315
        out = []
Radek Brich <radek.brich@devl.cz>
parents:
diff changeset
   316
Radek Brich <radek.brich@devl.cz>
parents:
diff changeset
   317
        if bstate & curses.REPORT_MOUSE_POSITION:
Radek Brich <radek.brich@devl.cz>
parents:
diff changeset
   318
            out += [('mousemove', ev)]
Radek Brich <radek.brich@devl.cz>
parents:
diff changeset
   319
Radek Brich <radek.brich@devl.cz>
parents:
diff changeset
   320
        if bstate & curses.BUTTON1_PRESSED:
Radek Brich <radek.brich@devl.cz>
parents:
diff changeset
   321
            ev.button = 1
Radek Brich <radek.brich@devl.cz>
parents:
diff changeset
   322
            out += [('mousedown', ev)]
Radek Brich <radek.brich@devl.cz>
parents:
diff changeset
   323
Radek Brich <radek.brich@devl.cz>
parents:
diff changeset
   324
        if bstate & curses.BUTTON3_PRESSED:
Radek Brich <radek.brich@devl.cz>
parents:
diff changeset
   325
            ev.button = 3
Radek Brich <radek.brich@devl.cz>
parents:
diff changeset
   326
            out += [('mousedown', ev)]
Radek Brich <radek.brich@devl.cz>
parents:
diff changeset
   327
Radek Brich <radek.brich@devl.cz>
parents:
diff changeset
   328
        if bstate & curses.BUTTON1_RELEASED:
Radek Brich <radek.brich@devl.cz>
parents:
diff changeset
   329
            ev.button = 1
Radek Brich <radek.brich@devl.cz>
parents:
diff changeset
   330
            out += [('mouseup', ev)]
Radek Brich <radek.brich@devl.cz>
parents:
diff changeset
   331
Radek Brich <radek.brich@devl.cz>
parents:
diff changeset
   332
        if bstate & curses.BUTTON3_RELEASED:
Radek Brich <radek.brich@devl.cz>
parents:
diff changeset
   333
            ev.button = 3
Radek Brich <radek.brich@devl.cz>
parents:
diff changeset
   334
            out += [('mouseup', ev)]
Radek Brich <radek.brich@devl.cz>
parents:
diff changeset
   335
Radek Brich <radek.brich@devl.cz>
parents:
diff changeset
   336
        return out
Radek Brich <radek.brich@devl.cz>
parents:
diff changeset
   337
Radek Brich <radek.brich@devl.cz>
parents:
diff changeset
   338
Radek Brich <radek.brich@devl.cz>
parents:
diff changeset
   339
    def process_utf8_chars(self):
Radek Brich <radek.brich@devl.cz>
parents:
diff changeset
   340
        #FIXME read exact number of chars as defined by utf-8
Radek Brich <radek.brich@devl.cz>
parents:
diff changeset
   341
        utf = ''
Radek Brich <radek.brich@devl.cz>
parents:
diff changeset
   342
        while len(utf) <= 6:
Radek Brich <radek.brich@devl.cz>
parents:
diff changeset
   343
            c = self.inputqueue_next()
Radek Brich <radek.brich@devl.cz>
parents:
diff changeset
   344
            utf += chr(c)
Radek Brich <radek.brich@devl.cz>
parents:
diff changeset
   345
            try:
Radek Brich <radek.brich@devl.cz>
parents:
diff changeset
   346
                uni = str(utf, 'utf-8')
Radek Brich <radek.brich@devl.cz>
parents:
diff changeset
   347
                return [('keypress', None, uni)]
Radek Brich <radek.brich@devl.cz>
parents:
diff changeset
   348
            except UnicodeDecodeError:
Radek Brich <radek.brich@devl.cz>
parents:
diff changeset
   349
                continue
Radek Brich <radek.brich@devl.cz>
parents:
diff changeset
   350
        raise Exception('Invalid UTF-8 sequence: %r' % utf)
Radek Brich <radek.brich@devl.cz>
parents:
diff changeset
   351
Radek Brich <radek.brich@devl.cz>
parents:
diff changeset
   352
Radek Brich <radek.brich@devl.cz>
parents:
diff changeset
   353
    def process_control_chars(self):
Radek Brich <radek.brich@devl.cz>
parents:
diff changeset
   354
        keyname = None
Radek Brich <radek.brich@devl.cz>
parents:
diff changeset
   355
        for code in self.xterm_codes:
Radek Brich <radek.brich@devl.cz>
parents:
diff changeset
   356
            ok = False
Radek Brich <radek.brich@devl.cz>
parents:
diff changeset
   357
            if len(self.inputqueue) >= len(code) - 1:
Radek Brich <radek.brich@devl.cz>
parents:
diff changeset
   358
                ok = True
Radek Brich <radek.brich@devl.cz>
parents:
diff changeset
   359
                for i in range(len(code)-1):
Radek Brich <radek.brich@devl.cz>
parents:
diff changeset
   360
                    if self.inputqueue[-i-1] != code[i]:
Radek Brich <radek.brich@devl.cz>
parents:
diff changeset
   361
                        ok = False
Radek Brich <radek.brich@devl.cz>
parents:
diff changeset
   362
                        break
Radek Brich <radek.brich@devl.cz>
parents:
diff changeset
   363
Radek Brich <radek.brich@devl.cz>
parents:
diff changeset
   364
            if ok:
Radek Brich <radek.brich@devl.cz>
parents:
diff changeset
   365
                keyname = code[-1]
Radek Brich <radek.brich@devl.cz>
parents:
diff changeset
   366
                self.inputqueue = self.inputqueue[:-len(code)+1]
Radek Brich <radek.brich@devl.cz>
parents:
diff changeset
   367
Radek Brich <radek.brich@devl.cz>
parents:
diff changeset
   368
        if keyname is None:
Radek Brich <radek.brich@devl.cz>
parents:
diff changeset
   369
            self.log.debug('Unknown control sequence: %s',
Radek Brich <radek.brich@devl.cz>
parents:
diff changeset
   370
                ','.join(reversed(['0x%x'%x for x in self.inputqueue])))
Radek Brich <radek.brich@devl.cz>
parents:
diff changeset
   371
            c = self.inputqueue_next()
Radek Brich <radek.brich@devl.cz>
parents:
diff changeset
   372
            return [('keypress', 'Unknown%x' % c, None)]
Radek Brich <radek.brich@devl.cz>
parents:
diff changeset
   373
Radek Brich <radek.brich@devl.cz>
parents:
diff changeset
   374
        if keyname == 'mouse':
Radek Brich <radek.brich@devl.cz>
parents:
diff changeset
   375
           return self.process_xterm_mouse()
Radek Brich <radek.brich@devl.cz>
parents:
diff changeset
   376
Radek Brich <radek.brich@devl.cz>
parents:
diff changeset
   377
        return [('keypress', keyname, None)]
Radek Brich <radek.brich@devl.cz>
parents:
diff changeset
   378
Radek Brich <radek.brich@devl.cz>
parents:
diff changeset
   379
Radek Brich <radek.brich@devl.cz>
parents:
diff changeset
   380
    def process_xterm_mouse(self):
Radek Brich <radek.brich@devl.cz>
parents:
diff changeset
   381
        t = self.inputqueue_next()
Radek Brich <radek.brich@devl.cz>
parents:
diff changeset
   382
        x = self.inputqueue_next() - 0x21
Radek Brich <radek.brich@devl.cz>
parents:
diff changeset
   383
        y = self.inputqueue_next() - 0x21
Radek Brich <radek.brich@devl.cz>
parents:
diff changeset
   384
Radek Brich <radek.brich@devl.cz>
parents:
diff changeset
   385
        ev = MouseEvent(x, y)
Radek Brich <radek.brich@devl.cz>
parents:
diff changeset
   386
        out = []
Radek Brich <radek.brich@devl.cz>
parents:
diff changeset
   387
Radek Brich <radek.brich@devl.cz>
parents:
diff changeset
   388
        if t in (0x20, 0x21, 0x22): # button press
Radek Brich <radek.brich@devl.cz>
parents:
diff changeset
   389
            btn = t - 0x1f
Radek Brich <radek.brich@devl.cz>
parents:
diff changeset
   390
            ev.button = btn
Radek Brich <radek.brich@devl.cz>
parents:
diff changeset
   391
            if not btn in self.mbtnstack:
Radek Brich <radek.brich@devl.cz>
parents:
diff changeset
   392
                self.mbtnstack.append(btn)
Radek Brich <radek.brich@devl.cz>
parents:
diff changeset
   393
                out += [('mousedown', ev)]
Radek Brich <radek.brich@devl.cz>
parents:
diff changeset
   394
            else:
Radek Brich <radek.brich@devl.cz>
parents:
diff changeset
   395
                out += [('mousemove', ev)]
Radek Brich <radek.brich@devl.cz>
parents:
diff changeset
   396
Radek Brich <radek.brich@devl.cz>
parents:
diff changeset
   397
        elif t == 0x23: # button release
Radek Brich <radek.brich@devl.cz>
parents:
diff changeset
   398
            ev.button = self.mbtnstack.pop()
Radek Brich <radek.brich@devl.cz>
parents:
diff changeset
   399
            out += [('mouseup', ev)]
Radek Brich <radek.brich@devl.cz>
parents:
diff changeset
   400
Radek Brich <radek.brich@devl.cz>
parents:
diff changeset
   401
        elif t in (0x60, 0x61): # wheel up, down
Radek Brich <radek.brich@devl.cz>
parents:
diff changeset
   402
            ev.button = 4 + t - 0x60
Radek Brich <radek.brich@devl.cz>
parents:
diff changeset
   403
            out += [('mousewheel', ev)]
Radek Brich <radek.brich@devl.cz>
parents:
diff changeset
   404
Radek Brich <radek.brich@devl.cz>
parents:
diff changeset
   405
        else:
Radek Brich <radek.brich@devl.cz>
parents:
diff changeset
   406
            raise Exception('Unknown mouse event: %x' % t)
Radek Brich <radek.brich@devl.cz>
parents:
diff changeset
   407
Radek Brich <radek.brich@devl.cz>
parents:
diff changeset
   408
        return out