tuikit/backend_curses.py
author Radek Brich <radek.brich@devl.cz>
Wed, 16 Mar 2011 15:19:05 +0100
changeset 3 33ec838dc021
parent 2 684cdc352562
child 4 d197ca00496f
permissions -rw-r--r--
Fixed escape sequence handling.
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)
2
684cdc352562 Menu, Window and other improvements.
Radek Brich <radek.brich@devl.cz>
parents: 0
diff changeset
    87
        curses.init_pair(4, curses.COLOR_WHITE, curses.COLOR_BLUE)
684cdc352562 Menu, Window and other improvements.
Radek Brich <radek.brich@devl.cz>
parents: 0
diff changeset
    88
        curses.init_pair(5, curses.COLOR_CYAN, curses.COLOR_BLUE)
0
Radek Brich <radek.brich@devl.cz>
parents:
diff changeset
    89
Radek Brich <radek.brich@devl.cz>
parents:
diff changeset
    90
        self.BOLD = curses.A_BOLD
Radek Brich <radek.brich@devl.cz>
parents:
diff changeset
    91
        self.BLINK = curses.A_BLINK
Radek Brich <radek.brich@devl.cz>
parents:
diff changeset
    92
        self.UNDERLINE = curses.A_UNDERLINE
Radek Brich <radek.brich@devl.cz>
parents:
diff changeset
    93
Radek Brich <radek.brich@devl.cz>
parents:
diff changeset
    94
        # http://en.wikipedia.org/wiki/List_of_Unicode_characters#Geometric_shapes
Radek Brich <radek.brich@devl.cz>
parents:
diff changeset
    95
        self.UP_ARROW = '▲' #curses.ACS_UARROW
Radek Brich <radek.brich@devl.cz>
parents:
diff changeset
    96
        self.DOWN_ARROW = '▼' #curses.ACS_DARROW
Radek Brich <radek.brich@devl.cz>
parents:
diff changeset
    97
Radek Brich <radek.brich@devl.cz>
parents:
diff changeset
    98
        # http://en.wikipedia.org/wiki/Box-drawing_characters
Radek Brich <radek.brich@devl.cz>
parents:
diff changeset
    99
        self.LIGHT_SHADE = '░' #curses.ACS_BOARD
Radek Brich <radek.brich@devl.cz>
parents:
diff changeset
   100
        self.MEDIUM_SHADE = '▒'
Radek Brich <radek.brich@devl.cz>
parents:
diff changeset
   101
        self.DARK_SHADE = '▓'
Radek Brich <radek.brich@devl.cz>
parents:
diff changeset
   102
        self.BLOCK = '█'
Radek Brich <radek.brich@devl.cz>
parents:
diff changeset
   103
Radek Brich <radek.brich@devl.cz>
parents:
diff changeset
   104
        self.COLUMN = '▁▂▃▄▅▆▇█'
Radek Brich <radek.brich@devl.cz>
parents:
diff changeset
   105
        self.CORNER_ROUND = '╭╮╰╯'
Radek Brich <radek.brich@devl.cz>
parents:
diff changeset
   106
        self.CORNER = '┌┐└┘'
Radek Brich <radek.brich@devl.cz>
parents:
diff changeset
   107
        self.LINE = '─━│┃┄┅┆┇┈┉┊┋'
Radek Brich <radek.brich@devl.cz>
parents:
diff changeset
   108
Radek Brich <radek.brich@devl.cz>
parents:
diff changeset
   109
        self.HLINE = '─' # curses.ACS_HLINE
Radek Brich <radek.brich@devl.cz>
parents:
diff changeset
   110
        self.VLINE = '│' # curses.ACS_VLINE
Radek Brich <radek.brich@devl.cz>
parents:
diff changeset
   111
        self.ULCORNER = '┌' # curses.ACS_ULCORNER
Radek Brich <radek.brich@devl.cz>
parents:
diff changeset
   112
        self.URCORNER = '┐' # curses.ACS_URCORNER
Radek Brich <radek.brich@devl.cz>
parents:
diff changeset
   113
        self.LLCORNER = '└' # curses.ACS_LLCORNER
Radek Brich <radek.brich@devl.cz>
parents:
diff changeset
   114
        self.LRCORNER = '┘' # curses.ACS_LRCORNER
Radek Brich <radek.brich@devl.cz>
parents:
diff changeset
   115
        self.LTEE = '├'
Radek Brich <radek.brich@devl.cz>
parents:
diff changeset
   116
        self.RTEE = '┤'
Radek Brich <radek.brich@devl.cz>
parents:
diff changeset
   117
Radek Brich <radek.brich@devl.cz>
parents:
diff changeset
   118
Radek Brich <radek.brich@devl.cz>
parents:
diff changeset
   119
    ## clip operations ##
Radek Brich <radek.brich@devl.cz>
parents:
diff changeset
   120
Radek Brich <radek.brich@devl.cz>
parents:
diff changeset
   121
    def pushclip(self, x, y, w, h):
Radek Brich <radek.brich@devl.cz>
parents:
diff changeset
   122
        newclip = Rect(x, y, w, h)
Radek Brich <radek.brich@devl.cz>
parents:
diff changeset
   123
        if len(self.clipstack):
Radek Brich <radek.brich@devl.cz>
parents:
diff changeset
   124
            oldclip = self.clipstack[-1]
Radek Brich <radek.brich@devl.cz>
parents:
diff changeset
   125
            newclip = self.intersect(oldclip, newclip)
Radek Brich <radek.brich@devl.cz>
parents:
diff changeset
   126
        self.clipstack.append(newclip)
Radek Brich <radek.brich@devl.cz>
parents:
diff changeset
   127
Radek Brich <radek.brich@devl.cz>
parents:
diff changeset
   128
Radek Brich <radek.brich@devl.cz>
parents:
diff changeset
   129
    def popclip(self):
Radek Brich <radek.brich@devl.cz>
parents:
diff changeset
   130
        self.clipstack.pop()
Radek Brich <radek.brich@devl.cz>
parents:
diff changeset
   131
Radek Brich <radek.brich@devl.cz>
parents:
diff changeset
   132
Radek Brich <radek.brich@devl.cz>
parents:
diff changeset
   133
    def testclip(self, x, y):
Radek Brich <radek.brich@devl.cz>
parents:
diff changeset
   134
        # no clip rectangle on stack => passed
Radek Brich <radek.brich@devl.cz>
parents:
diff changeset
   135
        if not len(self.clipstack):
Radek Brich <radek.brich@devl.cz>
parents:
diff changeset
   136
            return True
Radek Brich <radek.brich@devl.cz>
parents:
diff changeset
   137
        # test against top clip rect from stack
Radek Brich <radek.brich@devl.cz>
parents:
diff changeset
   138
        clip = self.clipstack[-1]
Radek Brich <radek.brich@devl.cz>
parents:
diff changeset
   139
        if x < clip.x or y < clip.y \
Radek Brich <radek.brich@devl.cz>
parents:
diff changeset
   140
        or x >= clip.x + clip.w or y >= clip.y + clip.h:
Radek Brich <radek.brich@devl.cz>
parents:
diff changeset
   141
            return False
Radek Brich <radek.brich@devl.cz>
parents:
diff changeset
   142
        # passed
Radek Brich <radek.brich@devl.cz>
parents:
diff changeset
   143
        return True
Radek Brich <radek.brich@devl.cz>
parents:
diff changeset
   144
Radek Brich <radek.brich@devl.cz>
parents:
diff changeset
   145
Radek Brich <radek.brich@devl.cz>
parents:
diff changeset
   146
    def intersect(self, r1, r2):
Radek Brich <radek.brich@devl.cz>
parents:
diff changeset
   147
        x1 = max(r1.x, r2.x)
Radek Brich <radek.brich@devl.cz>
parents:
diff changeset
   148
        y1 = max(r1.y, r2.y)
Radek Brich <radek.brich@devl.cz>
parents:
diff changeset
   149
        x2 = min(r1.x + r1.w, r2.x + r2.w)
Radek Brich <radek.brich@devl.cz>
parents:
diff changeset
   150
        y2 = min(r1.y + r1.h, r2.y + r2.h)
Radek Brich <radek.brich@devl.cz>
parents:
diff changeset
   151
        if x1 >= x2 or y1 >= y2:
Radek Brich <radek.brich@devl.cz>
parents:
diff changeset
   152
            return Rect()
Radek Brich <radek.brich@devl.cz>
parents:
diff changeset
   153
        return Rect(x1, y1, x2-x1, y2-y1)
Radek Brich <radek.brich@devl.cz>
parents:
diff changeset
   154
Radek Brich <radek.brich@devl.cz>
parents:
diff changeset
   155
Radek Brich <radek.brich@devl.cz>
parents:
diff changeset
   156
    def union(self, r1, r2):
Radek Brich <radek.brich@devl.cz>
parents:
diff changeset
   157
        x = min(r1.x, r2.x)
Radek Brich <radek.brich@devl.cz>
parents:
diff changeset
   158
        y = min(r1.y, r2.y)
Radek Brich <radek.brich@devl.cz>
parents:
diff changeset
   159
        w = max(r1.x + r1.w, r2.x + r2.w) - x
Radek Brich <radek.brich@devl.cz>
parents:
diff changeset
   160
        h = max(r1.y + r1.h, r2.y + r2.h) - y
Radek Brich <radek.brich@devl.cz>
parents:
diff changeset
   161
        return Rect(x, y, w, h)
Radek Brich <radek.brich@devl.cz>
parents:
diff changeset
   162
Radek Brich <radek.brich@devl.cz>
parents:
diff changeset
   163
Radek Brich <radek.brich@devl.cz>
parents:
diff changeset
   164
    ## attributes ##
Radek Brich <radek.brich@devl.cz>
parents:
diff changeset
   165
Radek Brich <radek.brich@devl.cz>
parents:
diff changeset
   166
    def pushcolor(self, col, attr=0):
2
684cdc352562 Menu, Window and other improvements.
Radek Brich <radek.brich@devl.cz>
parents: 0
diff changeset
   167
        if type(col) is tuple:
684cdc352562 Menu, Window and other improvements.
Radek Brich <radek.brich@devl.cz>
parents: 0
diff changeset
   168
            col, attr = col
684cdc352562 Menu, Window and other improvements.
Radek Brich <radek.brich@devl.cz>
parents: 0
diff changeset
   169
        if attr == 'bold':
684cdc352562 Menu, Window and other improvements.
Radek Brich <radek.brich@devl.cz>
parents: 0
diff changeset
   170
            attr = self.BOLD
0
Radek Brich <radek.brich@devl.cz>
parents:
diff changeset
   171
        self.screen.attrset(curses.color_pair(col) | attr)
Radek Brich <radek.brich@devl.cz>
parents:
diff changeset
   172
        self.colorstack.append((col, attr))
Radek Brich <radek.brich@devl.cz>
parents:
diff changeset
   173
Radek Brich <radek.brich@devl.cz>
parents:
diff changeset
   174
Radek Brich <radek.brich@devl.cz>
parents:
diff changeset
   175
    def popcolor(self):
Radek Brich <radek.brich@devl.cz>
parents:
diff changeset
   176
        self.colorstack.pop()
Radek Brich <radek.brich@devl.cz>
parents:
diff changeset
   177
        if len(self.colorstack):
Radek Brich <radek.brich@devl.cz>
parents:
diff changeset
   178
            col, attr = self.colorstack[-1]
Radek Brich <radek.brich@devl.cz>
parents:
diff changeset
   179
        else:
Radek Brich <radek.brich@devl.cz>
parents:
diff changeset
   180
            col, attr = 0, 0
Radek Brich <radek.brich@devl.cz>
parents:
diff changeset
   181
        self.screen.attrset(curses.color_pair(col) | attr)
Radek Brich <radek.brich@devl.cz>
parents:
diff changeset
   182
Radek Brich <radek.brich@devl.cz>
parents:
diff changeset
   183
Radek Brich <radek.brich@devl.cz>
parents:
diff changeset
   184
    ## drawing ##
Radek Brich <radek.brich@devl.cz>
parents:
diff changeset
   185
Radek Brich <radek.brich@devl.cz>
parents:
diff changeset
   186
    def putch(self, x, y, c):
Radek Brich <radek.brich@devl.cz>
parents:
diff changeset
   187
        if not self.testclip(x, y):
Radek Brich <radek.brich@devl.cz>
parents:
diff changeset
   188
            return
Radek Brich <radek.brich@devl.cz>
parents:
diff changeset
   189
        try:
Radek Brich <radek.brich@devl.cz>
parents:
diff changeset
   190
            if type(c) is str and len(c) == 1:
Radek Brich <radek.brich@devl.cz>
parents:
diff changeset
   191
                self.screen.addstr(y, x, c)
Radek Brich <radek.brich@devl.cz>
parents:
diff changeset
   192
            else:
Radek Brich <radek.brich@devl.cz>
parents:
diff changeset
   193
                self.screen.addch(y, x, c)
Radek Brich <radek.brich@devl.cz>
parents:
diff changeset
   194
        except curses.error:
Radek Brich <radek.brich@devl.cz>
parents:
diff changeset
   195
            pass
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 puts(self, x, y, s):
Radek Brich <radek.brich@devl.cz>
parents:
diff changeset
   199
        for c in s:
Radek Brich <radek.brich@devl.cz>
parents:
diff changeset
   200
            self.putch(x, y, c)
Radek Brich <radek.brich@devl.cz>
parents:
diff changeset
   201
            x += 1
Radek Brich <radek.brich@devl.cz>
parents:
diff changeset
   202
Radek Brich <radek.brich@devl.cz>
parents:
diff changeset
   203
Radek Brich <radek.brich@devl.cz>
parents:
diff changeset
   204
    def hline(self, x, y, w, c=' '):
Radek Brich <radek.brich@devl.cz>
parents:
diff changeset
   205
        if type(c) is str:
Radek Brich <radek.brich@devl.cz>
parents:
diff changeset
   206
            s = c*w
Radek Brich <radek.brich@devl.cz>
parents:
diff changeset
   207
        else:
Radek Brich <radek.brich@devl.cz>
parents:
diff changeset
   208
            s = [c]*w
Radek Brich <radek.brich@devl.cz>
parents:
diff changeset
   209
        self.puts(x, y, s)
Radek Brich <radek.brich@devl.cz>
parents:
diff changeset
   210
Radek Brich <radek.brich@devl.cz>
parents:
diff changeset
   211
Radek Brich <radek.brich@devl.cz>
parents:
diff changeset
   212
    def vline(self, x, y, h, c=' '):
Radek Brich <radek.brich@devl.cz>
parents:
diff changeset
   213
        for i in range(h):
Radek Brich <radek.brich@devl.cz>
parents:
diff changeset
   214
            self.putch(x, y+i, c)
Radek Brich <radek.brich@devl.cz>
parents:
diff changeset
   215
Radek Brich <radek.brich@devl.cz>
parents:
diff changeset
   216
Radek Brich <radek.brich@devl.cz>
parents:
diff changeset
   217
    def frame(self, x, y, w, h):
Radek Brich <radek.brich@devl.cz>
parents:
diff changeset
   218
        self.putch(x, y, self.ULCORNER)
Radek Brich <radek.brich@devl.cz>
parents:
diff changeset
   219
        self.putch(x+w-1, y, self.URCORNER)
Radek Brich <radek.brich@devl.cz>
parents:
diff changeset
   220
        self.putch(x, y+h-1, self.LLCORNER)
Radek Brich <radek.brich@devl.cz>
parents:
diff changeset
   221
        self.putch(x+w-1, y+h-1, self.LRCORNER)
Radek Brich <radek.brich@devl.cz>
parents:
diff changeset
   222
        self.hline(x+1, y, w-2, self.HLINE)
Radek Brich <radek.brich@devl.cz>
parents:
diff changeset
   223
        self.hline(x+1, y+h-1, w-2, self.HLINE)
Radek Brich <radek.brich@devl.cz>
parents:
diff changeset
   224
        self.vline(x, y+1, h-2, self.VLINE)
Radek Brich <radek.brich@devl.cz>
parents:
diff changeset
   225
        self.vline(x+w-1, y+1, h-2, self.VLINE)
Radek Brich <radek.brich@devl.cz>
parents:
diff changeset
   226
Radek Brich <radek.brich@devl.cz>
parents:
diff changeset
   227
Radek Brich <radek.brich@devl.cz>
parents:
diff changeset
   228
    def fill(self, x, y, w, h, c=' '):
Radek Brich <radek.brich@devl.cz>
parents:
diff changeset
   229
        for i in range(h):
Radek Brich <radek.brich@devl.cz>
parents:
diff changeset
   230
            self.hline(x, y + i, w, c)
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 erase(self):
Radek Brich <radek.brich@devl.cz>
parents:
diff changeset
   234
        curses.curs_set(False)
Radek Brich <radek.brich@devl.cz>
parents:
diff changeset
   235
        self.cursor = None
Radek Brich <radek.brich@devl.cz>
parents:
diff changeset
   236
        self.screen.erase()
Radek Brich <radek.brich@devl.cz>
parents:
diff changeset
   237
Radek Brich <radek.brich@devl.cz>
parents:
diff changeset
   238
Radek Brich <radek.brich@devl.cz>
parents:
diff changeset
   239
    def commit(self):
Radek Brich <radek.brich@devl.cz>
parents:
diff changeset
   240
        if self.cursor:
Radek Brich <radek.brich@devl.cz>
parents:
diff changeset
   241
            self.screen.move(*self.cursor)
Radek Brich <radek.brich@devl.cz>
parents:
diff changeset
   242
            curses.curs_set(True)
Radek Brich <radek.brich@devl.cz>
parents:
diff changeset
   243
        else:
Radek Brich <radek.brich@devl.cz>
parents:
diff changeset
   244
            curses.curs_set(False)
Radek Brich <radek.brich@devl.cz>
parents:
diff changeset
   245
        self.screen.refresh()
Radek Brich <radek.brich@devl.cz>
parents:
diff changeset
   246
Radek Brich <radek.brich@devl.cz>
parents:
diff changeset
   247
Radek Brich <radek.brich@devl.cz>
parents:
diff changeset
   248
    ## cursor ##
Radek Brich <radek.brich@devl.cz>
parents:
diff changeset
   249
Radek Brich <radek.brich@devl.cz>
parents:
diff changeset
   250
    def showcursor(self, x, y):
Radek Brich <radek.brich@devl.cz>
parents:
diff changeset
   251
        if not self.testclip(x, y):
Radek Brich <radek.brich@devl.cz>
parents:
diff changeset
   252
            return
Radek Brich <radek.brich@devl.cz>
parents:
diff changeset
   253
        self.cursor = (y, x)
Radek Brich <radek.brich@devl.cz>
parents:
diff changeset
   254
Radek Brich <radek.brich@devl.cz>
parents:
diff changeset
   255
Radek Brich <radek.brich@devl.cz>
parents:
diff changeset
   256
    ## input ##
Radek Brich <radek.brich@devl.cz>
parents:
diff changeset
   257
3
33ec838dc021 Fixed escape sequence handling.
Radek Brich <radek.brich@devl.cz>
parents: 2
diff changeset
   258
    def inputqueue_fill(self, timeout=None):
33ec838dc021 Fixed escape sequence handling.
Radek Brich <radek.brich@devl.cz>
parents: 2
diff changeset
   259
        if timeout is None:
33ec838dc021 Fixed escape sequence handling.
Radek Brich <radek.brich@devl.cz>
parents: 2
diff changeset
   260
            # wait indefinitely
33ec838dc021 Fixed escape sequence handling.
Radek Brich <radek.brich@devl.cz>
parents: 2
diff changeset
   261
            c = self.screen.getch()
33ec838dc021 Fixed escape sequence handling.
Radek Brich <radek.brich@devl.cz>
parents: 2
diff changeset
   262
            self.inputqueue.insert(0, c)
33ec838dc021 Fixed escape sequence handling.
Radek Brich <radek.brich@devl.cz>
parents: 2
diff changeset
   263
33ec838dc021 Fixed escape sequence handling.
Radek Brich <radek.brich@devl.cz>
parents: 2
diff changeset
   264
        elif timeout > 0:
33ec838dc021 Fixed escape sequence handling.
Radek Brich <radek.brich@devl.cz>
parents: 2
diff changeset
   265
            # wait
33ec838dc021 Fixed escape sequence handling.
Radek Brich <radek.brich@devl.cz>
parents: 2
diff changeset
   266
            curses.halfdelay(timeout)
33ec838dc021 Fixed escape sequence handling.
Radek Brich <radek.brich@devl.cz>
parents: 2
diff changeset
   267
            c = self.screen.getch()
33ec838dc021 Fixed escape sequence handling.
Radek Brich <radek.brich@devl.cz>
parents: 2
diff changeset
   268
            curses.cbreak()
33ec838dc021 Fixed escape sequence handling.
Radek Brich <radek.brich@devl.cz>
parents: 2
diff changeset
   269
            if c == -1:
33ec838dc021 Fixed escape sequence handling.
Radek Brich <radek.brich@devl.cz>
parents: 2
diff changeset
   270
                return
33ec838dc021 Fixed escape sequence handling.
Radek Brich <radek.brich@devl.cz>
parents: 2
diff changeset
   271
            self.inputqueue.insert(0, c)
33ec838dc021 Fixed escape sequence handling.
Radek Brich <radek.brich@devl.cz>
parents: 2
diff changeset
   272
33ec838dc021 Fixed escape sequence handling.
Radek Brich <radek.brich@devl.cz>
parents: 2
diff changeset
   273
        # timeout = 0 -> no wait
33ec838dc021 Fixed escape sequence handling.
Radek Brich <radek.brich@devl.cz>
parents: 2
diff changeset
   274
0
Radek Brich <radek.brich@devl.cz>
parents:
diff changeset
   275
        self.screen.nodelay(1)
Radek Brich <radek.brich@devl.cz>
parents:
diff changeset
   276
Radek Brich <radek.brich@devl.cz>
parents:
diff changeset
   277
        while True:
Radek Brich <radek.brich@devl.cz>
parents:
diff changeset
   278
            c = self.screen.getch()
Radek Brich <radek.brich@devl.cz>
parents:
diff changeset
   279
            if c == -1:
Radek Brich <radek.brich@devl.cz>
parents:
diff changeset
   280
                break
Radek Brich <radek.brich@devl.cz>
parents:
diff changeset
   281
            self.inputqueue.insert(0, c)
Radek Brich <radek.brich@devl.cz>
parents:
diff changeset
   282
Radek Brich <radek.brich@devl.cz>
parents:
diff changeset
   283
        self.screen.nodelay(0)
Radek Brich <radek.brich@devl.cz>
parents:
diff changeset
   284
Radek Brich <radek.brich@devl.cz>
parents:
diff changeset
   285
3
33ec838dc021 Fixed escape sequence handling.
Radek Brich <radek.brich@devl.cz>
parents: 2
diff changeset
   286
    def inputqueue_top(self, num=0):
33ec838dc021 Fixed escape sequence handling.
Radek Brich <radek.brich@devl.cz>
parents: 2
diff changeset
   287
        return self.inputqueue[-1-num]
33ec838dc021 Fixed escape sequence handling.
Radek Brich <radek.brich@devl.cz>
parents: 2
diff changeset
   288
33ec838dc021 Fixed escape sequence handling.
Radek Brich <radek.brich@devl.cz>
parents: 2
diff changeset
   289
33ec838dc021 Fixed escape sequence handling.
Radek Brich <radek.brich@devl.cz>
parents: 2
diff changeset
   290
    def inputqueue_get(self):
33ec838dc021 Fixed escape sequence handling.
Radek Brich <radek.brich@devl.cz>
parents: 2
diff changeset
   291
        c = None
33ec838dc021 Fixed escape sequence handling.
Radek Brich <radek.brich@devl.cz>
parents: 2
diff changeset
   292
        try:
33ec838dc021 Fixed escape sequence handling.
Radek Brich <radek.brich@devl.cz>
parents: 2
diff changeset
   293
            c = self.inputqueue.pop()
33ec838dc021 Fixed escape sequence handling.
Radek Brich <radek.brich@devl.cz>
parents: 2
diff changeset
   294
        except IndexError:
33ec838dc021 Fixed escape sequence handling.
Radek Brich <radek.brich@devl.cz>
parents: 2
diff changeset
   295
            pass
33ec838dc021 Fixed escape sequence handling.
Radek Brich <radek.brich@devl.cz>
parents: 2
diff changeset
   296
        return c
33ec838dc021 Fixed escape sequence handling.
Radek Brich <radek.brich@devl.cz>
parents: 2
diff changeset
   297
33ec838dc021 Fixed escape sequence handling.
Radek Brich <radek.brich@devl.cz>
parents: 2
diff changeset
   298
33ec838dc021 Fixed escape sequence handling.
Radek Brich <radek.brich@devl.cz>
parents: 2
diff changeset
   299
    def inputqueue_get_wait(self):
0
Radek Brich <radek.brich@devl.cz>
parents:
diff changeset
   300
        c = None
Radek Brich <radek.brich@devl.cz>
parents:
diff changeset
   301
        while c is None:
Radek Brich <radek.brich@devl.cz>
parents:
diff changeset
   302
            try:
Radek Brich <radek.brich@devl.cz>
parents:
diff changeset
   303
                c = self.inputqueue.pop()
Radek Brich <radek.brich@devl.cz>
parents:
diff changeset
   304
            except IndexError:
Radek Brich <radek.brich@devl.cz>
parents:
diff changeset
   305
                curses.napms(25)
3
33ec838dc021 Fixed escape sequence handling.
Radek Brich <radek.brich@devl.cz>
parents: 2
diff changeset
   306
                self.inputqueue_fill(0)
0
Radek Brich <radek.brich@devl.cz>
parents:
diff changeset
   307
        return c
Radek Brich <radek.brich@devl.cz>
parents:
diff changeset
   308
Radek Brich <radek.brich@devl.cz>
parents:
diff changeset
   309
3
33ec838dc021 Fixed escape sequence handling.
Radek Brich <radek.brich@devl.cz>
parents: 2
diff changeset
   310
    def inputqueue_unget(self, c):
33ec838dc021 Fixed escape sequence handling.
Radek Brich <radek.brich@devl.cz>
parents: 2
diff changeset
   311
        self.inputqueue.append(c)
33ec838dc021 Fixed escape sequence handling.
Radek Brich <radek.brich@devl.cz>
parents: 2
diff changeset
   312
33ec838dc021 Fixed escape sequence handling.
Radek Brich <radek.brich@devl.cz>
parents: 2
diff changeset
   313
0
Radek Brich <radek.brich@devl.cz>
parents:
diff changeset
   314
    def process_input(self, timeout=None):
3
33ec838dc021 Fixed escape sequence handling.
Radek Brich <radek.brich@devl.cz>
parents: 2
diff changeset
   315
        # empty queue -> fill
33ec838dc021 Fixed escape sequence handling.
Radek Brich <radek.brich@devl.cz>
parents: 2
diff changeset
   316
        if len(self.inputqueue) == 0:
33ec838dc021 Fixed escape sequence handling.
Radek Brich <radek.brich@devl.cz>
parents: 2
diff changeset
   317
            self.inputqueue_fill(timeout)
0
Radek Brich <radek.brich@devl.cz>
parents:
diff changeset
   318
3
33ec838dc021 Fixed escape sequence handling.
Radek Brich <radek.brich@devl.cz>
parents: 2
diff changeset
   319
        res = []
33ec838dc021 Fixed escape sequence handling.
Radek Brich <radek.brich@devl.cz>
parents: 2
diff changeset
   320
        while len(self.inputqueue):
33ec838dc021 Fixed escape sequence handling.
Radek Brich <radek.brich@devl.cz>
parents: 2
diff changeset
   321
            c = self.inputqueue_get()
33ec838dc021 Fixed escape sequence handling.
Radek Brich <radek.brich@devl.cz>
parents: 2
diff changeset
   322
33ec838dc021 Fixed escape sequence handling.
Radek Brich <radek.brich@devl.cz>
parents: 2
diff changeset
   323
            if c == curses.KEY_MOUSE:
33ec838dc021 Fixed escape sequence handling.
Radek Brich <radek.brich@devl.cz>
parents: 2
diff changeset
   324
                res += self.process_mouse()
0
Radek Brich <radek.brich@devl.cz>
parents:
diff changeset
   325
3
33ec838dc021 Fixed escape sequence handling.
Radek Brich <radek.brich@devl.cz>
parents: 2
diff changeset
   326
            elif curses.ascii.isctrl(c):
33ec838dc021 Fixed escape sequence handling.
Radek Brich <radek.brich@devl.cz>
parents: 2
diff changeset
   327
                self.inputqueue_unget(c)
33ec838dc021 Fixed escape sequence handling.
Radek Brich <radek.brich@devl.cz>
parents: 2
diff changeset
   328
                res += self.process_control_chars()
33ec838dc021 Fixed escape sequence handling.
Radek Brich <radek.brich@devl.cz>
parents: 2
diff changeset
   329
33ec838dc021 Fixed escape sequence handling.
Radek Brich <radek.brich@devl.cz>
parents: 2
diff changeset
   330
            elif c >= 192 and c <= 255:
33ec838dc021 Fixed escape sequence handling.
Radek Brich <radek.brich@devl.cz>
parents: 2
diff changeset
   331
                self.inputqueue_unget(c)
33ec838dc021 Fixed escape sequence handling.
Radek Brich <radek.brich@devl.cz>
parents: 2
diff changeset
   332
                res += self.process_utf8_chars()
0
Radek Brich <radek.brich@devl.cz>
parents:
diff changeset
   333
3
33ec838dc021 Fixed escape sequence handling.
Radek Brich <radek.brich@devl.cz>
parents: 2
diff changeset
   334
            elif curses.ascii.isprint(c):
33ec838dc021 Fixed escape sequence handling.
Radek Brich <radek.brich@devl.cz>
parents: 2
diff changeset
   335
                res += [('keypress', None, str(chr(c)))]
0
Radek Brich <radek.brich@devl.cz>
parents:
diff changeset
   336
3
33ec838dc021 Fixed escape sequence handling.
Radek Brich <radek.brich@devl.cz>
parents: 2
diff changeset
   337
            else:
33ec838dc021 Fixed escape sequence handling.
Radek Brich <radek.brich@devl.cz>
parents: 2
diff changeset
   338
                #self.top.keypress(None, unicode(chr(c)))
33ec838dc021 Fixed escape sequence handling.
Radek Brich <radek.brich@devl.cz>
parents: 2
diff changeset
   339
                self.inputqueue_unget(c)
33ec838dc021 Fixed escape sequence handling.
Radek Brich <radek.brich@devl.cz>
parents: 2
diff changeset
   340
                res += self.process_control_chars()
0
Radek Brich <radek.brich@devl.cz>
parents:
diff changeset
   341
3
33ec838dc021 Fixed escape sequence handling.
Radek Brich <radek.brich@devl.cz>
parents: 2
diff changeset
   342
        return res
0
Radek Brich <radek.brich@devl.cz>
parents:
diff changeset
   343
Radek Brich <radek.brich@devl.cz>
parents:
diff changeset
   344
Radek Brich <radek.brich@devl.cz>
parents:
diff changeset
   345
    def process_mouse(self):
Radek Brich <radek.brich@devl.cz>
parents:
diff changeset
   346
        id, x, y, z, bstate = curses.getmouse()
Radek Brich <radek.brich@devl.cz>
parents:
diff changeset
   347
        ev = MouseEvent(x, y)
Radek Brich <radek.brich@devl.cz>
parents:
diff changeset
   348
Radek Brich <radek.brich@devl.cz>
parents:
diff changeset
   349
        out = []
Radek Brich <radek.brich@devl.cz>
parents:
diff changeset
   350
Radek Brich <radek.brich@devl.cz>
parents:
diff changeset
   351
        if bstate & curses.REPORT_MOUSE_POSITION:
Radek Brich <radek.brich@devl.cz>
parents:
diff changeset
   352
            out += [('mousemove', ev)]
Radek Brich <radek.brich@devl.cz>
parents:
diff changeset
   353
Radek Brich <radek.brich@devl.cz>
parents:
diff changeset
   354
        if bstate & curses.BUTTON1_PRESSED:
Radek Brich <radek.brich@devl.cz>
parents:
diff changeset
   355
            ev.button = 1
Radek Brich <radek.brich@devl.cz>
parents:
diff changeset
   356
            out += [('mousedown', ev)]
Radek Brich <radek.brich@devl.cz>
parents:
diff changeset
   357
Radek Brich <radek.brich@devl.cz>
parents:
diff changeset
   358
        if bstate & curses.BUTTON3_PRESSED:
Radek Brich <radek.brich@devl.cz>
parents:
diff changeset
   359
            ev.button = 3
Radek Brich <radek.brich@devl.cz>
parents:
diff changeset
   360
            out += [('mousedown', ev)]
Radek Brich <radek.brich@devl.cz>
parents:
diff changeset
   361
Radek Brich <radek.brich@devl.cz>
parents:
diff changeset
   362
        if bstate & curses.BUTTON1_RELEASED:
Radek Brich <radek.brich@devl.cz>
parents:
diff changeset
   363
            ev.button = 1
Radek Brich <radek.brich@devl.cz>
parents:
diff changeset
   364
            out += [('mouseup', ev)]
Radek Brich <radek.brich@devl.cz>
parents:
diff changeset
   365
Radek Brich <radek.brich@devl.cz>
parents:
diff changeset
   366
        if bstate & curses.BUTTON3_RELEASED:
Radek Brich <radek.brich@devl.cz>
parents:
diff changeset
   367
            ev.button = 3
Radek Brich <radek.brich@devl.cz>
parents:
diff changeset
   368
            out += [('mouseup', ev)]
Radek Brich <radek.brich@devl.cz>
parents:
diff changeset
   369
Radek Brich <radek.brich@devl.cz>
parents:
diff changeset
   370
        return out
Radek Brich <radek.brich@devl.cz>
parents:
diff changeset
   371
Radek Brich <radek.brich@devl.cz>
parents:
diff changeset
   372
Radek Brich <radek.brich@devl.cz>
parents:
diff changeset
   373
    def process_utf8_chars(self):
Radek Brich <radek.brich@devl.cz>
parents:
diff changeset
   374
        #FIXME read exact number of chars as defined by utf-8
Radek Brich <radek.brich@devl.cz>
parents:
diff changeset
   375
        utf = ''
Radek Brich <radek.brich@devl.cz>
parents:
diff changeset
   376
        while len(utf) <= 6:
3
33ec838dc021 Fixed escape sequence handling.
Radek Brich <radek.brich@devl.cz>
parents: 2
diff changeset
   377
            c = self.inputqueue_get_wait()
0
Radek Brich <radek.brich@devl.cz>
parents:
diff changeset
   378
            utf += chr(c)
Radek Brich <radek.brich@devl.cz>
parents:
diff changeset
   379
            try:
Radek Brich <radek.brich@devl.cz>
parents:
diff changeset
   380
                uni = str(utf, 'utf-8')
Radek Brich <radek.brich@devl.cz>
parents:
diff changeset
   381
                return [('keypress', None, uni)]
Radek Brich <radek.brich@devl.cz>
parents:
diff changeset
   382
            except UnicodeDecodeError:
Radek Brich <radek.brich@devl.cz>
parents:
diff changeset
   383
                continue
Radek Brich <radek.brich@devl.cz>
parents:
diff changeset
   384
        raise Exception('Invalid UTF-8 sequence: %r' % utf)
Radek Brich <radek.brich@devl.cz>
parents:
diff changeset
   385
Radek Brich <radek.brich@devl.cz>
parents:
diff changeset
   386
Radek Brich <radek.brich@devl.cz>
parents:
diff changeset
   387
    def process_control_chars(self):
3
33ec838dc021 Fixed escape sequence handling.
Radek Brich <radek.brich@devl.cz>
parents: 2
diff changeset
   388
        codes = self.xterm_codes
33ec838dc021 Fixed escape sequence handling.
Radek Brich <radek.brich@devl.cz>
parents: 2
diff changeset
   389
        matchingcodes = []
33ec838dc021 Fixed escape sequence handling.
Radek Brich <radek.brich@devl.cz>
parents: 2
diff changeset
   390
        match = None
33ec838dc021 Fixed escape sequence handling.
Radek Brich <radek.brich@devl.cz>
parents: 2
diff changeset
   391
        consumed = []
33ec838dc021 Fixed escape sequence handling.
Radek Brich <radek.brich@devl.cz>
parents: 2
diff changeset
   392
33ec838dc021 Fixed escape sequence handling.
Radek Brich <radek.brich@devl.cz>
parents: 2
diff changeset
   393
        # consume next char, filter out matching codes
33ec838dc021 Fixed escape sequence handling.
Radek Brich <radek.brich@devl.cz>
parents: 2
diff changeset
   394
        c = self.inputqueue_get_wait()
33ec838dc021 Fixed escape sequence handling.
Radek Brich <radek.brich@devl.cz>
parents: 2
diff changeset
   395
        consumed.append(c)
33ec838dc021 Fixed escape sequence handling.
Radek Brich <radek.brich@devl.cz>
parents: 2
diff changeset
   396
33ec838dc021 Fixed escape sequence handling.
Radek Brich <radek.brich@devl.cz>
parents: 2
diff changeset
   397
        while True:
33ec838dc021 Fixed escape sequence handling.
Radek Brich <radek.brich@devl.cz>
parents: 2
diff changeset
   398
            self.log.debug('c=%s len=%s', c, len(codes))
33ec838dc021 Fixed escape sequence handling.
Radek Brich <radek.brich@devl.cz>
parents: 2
diff changeset
   399
            for code in codes:
33ec838dc021 Fixed escape sequence handling.
Radek Brich <radek.brich@devl.cz>
parents: 2
diff changeset
   400
                if c == code[len(consumed)-1]:
33ec838dc021 Fixed escape sequence handling.
Radek Brich <radek.brich@devl.cz>
parents: 2
diff changeset
   401
                    if len(code) - 1 == len(consumed):
33ec838dc021 Fixed escape sequence handling.
Radek Brich <radek.brich@devl.cz>
parents: 2
diff changeset
   402
                        match = code
33ec838dc021 Fixed escape sequence handling.
Radek Brich <radek.brich@devl.cz>
parents: 2
diff changeset
   403
                    else:
33ec838dc021 Fixed escape sequence handling.
Radek Brich <radek.brich@devl.cz>
parents: 2
diff changeset
   404
                        matchingcodes += [code]
33ec838dc021 Fixed escape sequence handling.
Radek Brich <radek.brich@devl.cz>
parents: 2
diff changeset
   405
33ec838dc021 Fixed escape sequence handling.
Radek Brich <radek.brich@devl.cz>
parents: 2
diff changeset
   406
            self.log.debug('matching=%s', len(matchingcodes))
33ec838dc021 Fixed escape sequence handling.
Radek Brich <radek.brich@devl.cz>
parents: 2
diff changeset
   407
33ec838dc021 Fixed escape sequence handling.
Radek Brich <radek.brich@devl.cz>
parents: 2
diff changeset
   408
            # match found, or no matching code found -> stop
33ec838dc021 Fixed escape sequence handling.
Radek Brich <radek.brich@devl.cz>
parents: 2
diff changeset
   409
            if len(matchingcodes) == 0:
33ec838dc021 Fixed escape sequence handling.
Radek Brich <radek.brich@devl.cz>
parents: 2
diff changeset
   410
                break
0
Radek Brich <radek.brich@devl.cz>
parents:
diff changeset
   411
3
33ec838dc021 Fixed escape sequence handling.
Radek Brich <radek.brich@devl.cz>
parents: 2
diff changeset
   412
            # match found and some sequencies still match -> continue
33ec838dc021 Fixed escape sequence handling.
Radek Brich <radek.brich@devl.cz>
parents: 2
diff changeset
   413
            if len(matchingcodes) > 0:
33ec838dc021 Fixed escape sequence handling.
Radek Brich <radek.brich@devl.cz>
parents: 2
diff changeset
   414
                if len(self.inputqueue) == 0:
33ec838dc021 Fixed escape sequence handling.
Radek Brich <radek.brich@devl.cz>
parents: 2
diff changeset
   415
                    self.inputqueue_fill(1)
33ec838dc021 Fixed escape sequence handling.
Radek Brich <radek.brich@devl.cz>
parents: 2
diff changeset
   416
33ec838dc021 Fixed escape sequence handling.
Radek Brich <radek.brich@devl.cz>
parents: 2
diff changeset
   417
            c = self.inputqueue_get()
33ec838dc021 Fixed escape sequence handling.
Radek Brich <radek.brich@devl.cz>
parents: 2
diff changeset
   418
            if c:
33ec838dc021 Fixed escape sequence handling.
Radek Brich <radek.brich@devl.cz>
parents: 2
diff changeset
   419
                consumed.append(c)
33ec838dc021 Fixed escape sequence handling.
Radek Brich <radek.brich@devl.cz>
parents: 2
diff changeset
   420
                codes = matchingcodes
33ec838dc021 Fixed escape sequence handling.
Radek Brich <radek.brich@devl.cz>
parents: 2
diff changeset
   421
                matchingcodes = []
33ec838dc021 Fixed escape sequence handling.
Radek Brich <radek.brich@devl.cz>
parents: 2
diff changeset
   422
            else:
33ec838dc021 Fixed escape sequence handling.
Radek Brich <radek.brich@devl.cz>
parents: 2
diff changeset
   423
                break
0
Radek Brich <radek.brich@devl.cz>
parents:
diff changeset
   424
3
33ec838dc021 Fixed escape sequence handling.
Radek Brich <radek.brich@devl.cz>
parents: 2
diff changeset
   425
        keyname = None
33ec838dc021 Fixed escape sequence handling.
Radek Brich <radek.brich@devl.cz>
parents: 2
diff changeset
   426
        if match:
33ec838dc021 Fixed escape sequence handling.
Radek Brich <radek.brich@devl.cz>
parents: 2
diff changeset
   427
            # compare match to consumed, return unused chars
33ec838dc021 Fixed escape sequence handling.
Radek Brich <radek.brich@devl.cz>
parents: 2
diff changeset
   428
            l = len(match) - 1
33ec838dc021 Fixed escape sequence handling.
Radek Brich <radek.brich@devl.cz>
parents: 2
diff changeset
   429
            while len(consumed) > l:
33ec838dc021 Fixed escape sequence handling.
Radek Brich <radek.brich@devl.cz>
parents: 2
diff changeset
   430
                self.inputqueue_unget(consumed[-1])
33ec838dc021 Fixed escape sequence handling.
Radek Brich <radek.brich@devl.cz>
parents: 2
diff changeset
   431
                del consumed[-1]
33ec838dc021 Fixed escape sequence handling.
Radek Brich <radek.brich@devl.cz>
parents: 2
diff changeset
   432
            keyname = match[-1]
33ec838dc021 Fixed escape sequence handling.
Radek Brich <radek.brich@devl.cz>
parents: 2
diff changeset
   433
33ec838dc021 Fixed escape sequence handling.
Radek Brich <radek.brich@devl.cz>
parents: 2
diff changeset
   434
        if match is None:
0
Radek Brich <radek.brich@devl.cz>
parents:
diff changeset
   435
            self.log.debug('Unknown control sequence: %s',
3
33ec838dc021 Fixed escape sequence handling.
Radek Brich <radek.brich@devl.cz>
parents: 2
diff changeset
   436
                ','.join(['0x%x'%x for x in consumed]))
33ec838dc021 Fixed escape sequence handling.
Radek Brich <radek.brich@devl.cz>
parents: 2
diff changeset
   437
            return [('keypress', 'Unknown', None)]
0
Radek Brich <radek.brich@devl.cz>
parents:
diff changeset
   438
Radek Brich <radek.brich@devl.cz>
parents:
diff changeset
   439
        if keyname == 'mouse':
Radek Brich <radek.brich@devl.cz>
parents:
diff changeset
   440
           return self.process_xterm_mouse()
Radek Brich <radek.brich@devl.cz>
parents:
diff changeset
   441
Radek Brich <radek.brich@devl.cz>
parents:
diff changeset
   442
        return [('keypress', keyname, None)]
Radek Brich <radek.brich@devl.cz>
parents:
diff changeset
   443
Radek Brich <radek.brich@devl.cz>
parents:
diff changeset
   444
Radek Brich <radek.brich@devl.cz>
parents:
diff changeset
   445
    def process_xterm_mouse(self):
3
33ec838dc021 Fixed escape sequence handling.
Radek Brich <radek.brich@devl.cz>
parents: 2
diff changeset
   446
        t = self.inputqueue_get_wait()
33ec838dc021 Fixed escape sequence handling.
Radek Brich <radek.brich@devl.cz>
parents: 2
diff changeset
   447
        x = self.inputqueue_get_wait() - 0x21
33ec838dc021 Fixed escape sequence handling.
Radek Brich <radek.brich@devl.cz>
parents: 2
diff changeset
   448
        y = self.inputqueue_get_wait() - 0x21
0
Radek Brich <radek.brich@devl.cz>
parents:
diff changeset
   449
Radek Brich <radek.brich@devl.cz>
parents:
diff changeset
   450
        ev = MouseEvent(x, y)
Radek Brich <radek.brich@devl.cz>
parents:
diff changeset
   451
        out = []
Radek Brich <radek.brich@devl.cz>
parents:
diff changeset
   452
Radek Brich <radek.brich@devl.cz>
parents:
diff changeset
   453
        if t in (0x20, 0x21, 0x22): # button press
Radek Brich <radek.brich@devl.cz>
parents:
diff changeset
   454
            btn = t - 0x1f
Radek Brich <radek.brich@devl.cz>
parents:
diff changeset
   455
            ev.button = btn
Radek Brich <radek.brich@devl.cz>
parents:
diff changeset
   456
            if not btn in self.mbtnstack:
Radek Brich <radek.brich@devl.cz>
parents:
diff changeset
   457
                self.mbtnstack.append(btn)
Radek Brich <radek.brich@devl.cz>
parents:
diff changeset
   458
                out += [('mousedown', ev)]
Radek Brich <radek.brich@devl.cz>
parents:
diff changeset
   459
            else:
Radek Brich <radek.brich@devl.cz>
parents:
diff changeset
   460
                out += [('mousemove', ev)]
Radek Brich <radek.brich@devl.cz>
parents:
diff changeset
   461
Radek Brich <radek.brich@devl.cz>
parents:
diff changeset
   462
        elif t == 0x23: # button release
Radek Brich <radek.brich@devl.cz>
parents:
diff changeset
   463
            ev.button = self.mbtnstack.pop()
Radek Brich <radek.brich@devl.cz>
parents:
diff changeset
   464
            out += [('mouseup', ev)]
Radek Brich <radek.brich@devl.cz>
parents:
diff changeset
   465
Radek Brich <radek.brich@devl.cz>
parents:
diff changeset
   466
        elif t in (0x60, 0x61): # wheel up, down
Radek Brich <radek.brich@devl.cz>
parents:
diff changeset
   467
            ev.button = 4 + t - 0x60
Radek Brich <radek.brich@devl.cz>
parents:
diff changeset
   468
            out += [('mousewheel', ev)]
Radek Brich <radek.brich@devl.cz>
parents:
diff changeset
   469
Radek Brich <radek.brich@devl.cz>
parents:
diff changeset
   470
        else:
Radek Brich <radek.brich@devl.cz>
parents:
diff changeset
   471
            raise Exception('Unknown mouse event: %x' % t)
Radek Brich <radek.brich@devl.cz>
parents:
diff changeset
   472
Radek Brich <radek.brich@devl.cz>
parents:
diff changeset
   473
        return out