FM / picotui

/opt/imh-python/lib/python3.9/site-packages/picotui/

/opt/imh-python/lib/python3.9/site-packages/picotui

Name	Size	Mode	Actions
__pycache__/	-	0755	rm
basewidget.py	2752	0644	edit dl rm
context.py	657	0644	edit dl rm
defs.py	1501	0644	edit dl rm
dialogs.py	1599	0644	edit dl rm
editor.py	7472	0644	edit dl rm
editorext.py	5118	0644	edit dl rm
menu.py	4479	0644	edit dl rm
posixread.py	255	0644	edit dl rm
readinput.py	737	0644	edit dl rm
read_test.py	932	0644	edit dl rm
read_test_no_poll.py	575	0644	edit dl rm
screen.py	4412	0644	edit dl rm
widgets.py	15228	0644	edit dl rm
__init__.py	0	0644	edit dl rm

Edit: /opt/imh-python/lib/python3.9/site-packages/picotui/menu.py (4479B)

from .screen import Screen
from .basewidget import *
from .defs import *

class WMenuBar(ItemSelWidget):

def __init__(self, menu_struct):
        super().__init__(menu_struct)
        self.x = self.y = 0
        self.h = 1
        self.w = Screen.screen_size()[0]
        self.pulled_down = False
        self.focus = False
        self.permanent = False

def redraw(self):
        if self.focus:
            self.cursor(False)
        self.goto(self.x, self.y)
        i = 0
        for name, pulldown in self.items:
            if self.focus and i == self.choice:
                self.attr_color(C_B_WHITE, C_BLACK)
            self.wr(b"  ")
            self.wr(name)
            self.wr(b"  ")
            self.attr_reset()
            i += 1

def close(self):
        self.focus = False
        if self.permanent:
            self.redraw()
        self.screen_redraw(True)

def get_item_x(self, item_no):
        x = self.x
        i = 0
        for name, pulldown in self.items:
            if i == item_no:
                break
            x += len(name) + 4
            i += 1
        return x

def handle_key(self, key):
        # We need while to auto pull down submenus on left/right keys
        while 1:
            res = None
            action = False
            sel = self.items[self.choice][1]
            if key == KEY_ESC:
                self.close()
                return ACTION_CANCEL
            elif key == KEY_LEFT:
                if self.pulled_down:
                    self.screen_redraw()
                self.move_sel(-1)
            elif key == KEY_RIGHT:
                if self.pulled_down:
                    self.screen_redraw()
                self.move_sel(1)
            elif key == KEY_ENTER:
                self.pulled_down = True
                action = True
            elif key == KEY_DOWN and isinstance(sel, Widget):
                self.pulled_down = True
            else:
                return

sel = self.items[self.choice][1]
            if isinstance(sel, Widget) and self.pulled_down:
                sel.set_xy(self.get_item_x(self.choice), self.y + 1)
                res = sel.loop()
                if res == ACTION_PREV:
                    key = KEY_LEFT
                    continue
                if res == ACTION_NEXT:
                    key = KEY_RIGHT
                    continue
                if res == ACTION_CANCEL:
                    self.pulled_down = False
                    self.screen_redraw()
                    self.redraw()
                    return

self.close()
                return res
            elif action:
                self.close()
                return sel

return

def handle_mouse(self, x, y):
        # Works in absolute coordinates
        if y != self.y:
            return
        x -= self.x
        cur_x = 0
        found = False
        i = 0
        for name, pulldown in self.items:
            cur_x += len(name) + 4
            if x <= cur_x:
                found = True
                break
            i += 1
        if not found:
            return
        self.choice = i
        self.redraw()
        return self.handle_key(KEY_ENTER)

class WMenuBox(ItemSelWidget):

def __init__(self, items):
        super().__init__(items)
        self.x = self.y = 0
        self.h = len(items) + 2
        w = 0
        for i in items:
            w = max(w, len(i[0]))
        self.w = w + 2

def redraw(self):
        self.dialog_box(self.x, self.y, self.w, self.h)
        i = 0
        for item in self.items:
            self.goto(self.x + 1, self.y + i + 1)
            if i == self.choice:
                self.attr_color(C_B_WHITE, C_BLACK)
            self.wr_fixedw(item[0], self.w - 2)
            self.attr_reset()
            i += 1

def handle_key(self, key):
        if key == KEY_ESC:
            return ACTION_CANCEL
        elif key == KEY_UP:
            self.move_sel(-1)
        elif key == KEY_DOWN:
            self.move_sel(1)
        elif key == KEY_LEFT:
            return ACTION_PREV
        elif key == KEY_RIGHT:
            return ACTION_NEXT
        elif key == KEY_ENTER:
            return self.items[self.choice][1]

def handle_mouse(self, x, y):
        if not self.inside(x, y):
            return ACTION_CANCEL
        y -= self.y + 1
        if 0 <= y < self.h - 2:
            self.choice = y
            return self.items[self.choice][1]

cmd: