qpuiq 0.10__py3-none-any.whl

PUI/tkinter/text.py

@@ -0,0 +1,20 @@
+from .. import *
+from .base import *
+
+class Text(TkBaseWidget):
+    def __init__(self, text, selectable=False):
+        super().__init__()
+        self.text = text
+
+    def update(self, prev):
+        if prev and prev.ui:
+            self.ui = prev.ui
+            self.ui.config(text = self.text)
+        else:
+            self.ui = tk.Label(self.tkparent.inner, text=self.text, anchor="w", justify="left")
+
+class Html(Text):
+    pui_supported = False
+
+class MarkDown(Text):
+    pui_supported = False

PUI/tkinter/textfield.py

@@ -0,0 +1,53 @@
+from .. import *
+from .base import *
+
+class TextField(TkBaseWidget):
+    def __init__(self, model, edit_model=None):
+        super().__init__()
+        self.model = model
+        self.edit_model = edit_model
+        self.editing = False
+
+    def update(self, prev):
+        model_value = str(self.model.value)
+        if prev and prev.ui:
+            self.editing = prev.editing
+            self.variable = prev.variable
+            self.ui = prev.ui
+            self.curr_value = prev.curr_value
+            if self.curr_value.set(model_value) and not self.editing:
+                self.variable.set(model_value)
+        else:
+            self.variable = tk.StringVar(self.tkparent.inner, model_value)
+            self.variable.trace_add("write", self.on_variable_changed)
+            self.curr_value = Prop(model_value)
+            self.ui = tk.Entry(self.tkparent.inner, textvariable=self.variable)
+            self.ui.bind('<Return>', self.on_return)
+            self.ui.bind('<FocusOut>', self.on_focus_out)
+
+        if self.edit_model and not self.editing:
+            self.edit_model.value = model_value
+
+        super().update(prev)
+
+    def on_variable_changed(self, var, index, mode):
+        node = self.get_node()
+        node.editing = True
+        if node.edit_model:
+            node.edit_model.value = self.variable.get()
+        self._input()
+
+    def on_change(self):
+        node = self.get_node()
+        node.editing = False
+        value = self.variable.get()
+        node.model.value = value
+        if node.edit_model:
+            node.edit_model.value = value
+        self._change()
+
+    def on_return(self, e):
+        self.on_change()
+
+    def on_focus_out(self, e):
+        self.on_change()

PUI/tkinter/window.py

@@ -0,0 +1,51 @@
+from .. import *
+from .base import *
+
+class Window(TkBaseWidget):
+    pui_terminal = False
+    def __init__(self, title=None, size=None, maximize=None, fullscreen=None):
+        super().__init__()
+        self.title = title
+        self.size = size
+        self.maximize = maximize
+        self.fullscreen = fullscreen
+
+    def update(self, prev):
+        if prev and prev.ui:
+            self.ui = prev.ui
+            self.curr_size = prev.curr_size
+            self.curr_maximize = prev.curr_maximize
+            self.curr_fullscreen = prev.curr_fullscreen
+        else:
+            self.ui = tk.Toplevel(self.parent.inner)
+            # self.ui.protocol("WM_DELETE_WINDOW", self.on_closing)
+            self.curr_size = Prop()
+            self.curr_maximize = Prop()
+            self.curr_fullscreen = Prop()
+
+        if self.curr_size.set(self.size):
+            self.ui.geometry("x".join([str(v) for v in self.size]))
+
+        if self.curr_maximize.set(self.maximize):
+            # https://stackoverflow.com/a/70061942
+            try:
+                self.ui.attributes('-zoomed', True)
+            except:
+                self.ui.state("zoomed")
+
+        if self.curr_fullscreen.set(self.fullscreen):
+            self.ui.attributes('-fullscreen', True)
+
+        if not self.title is None:
+            self.ui.title(self.title)
+
+    def on_closing(self):
+        self.get_node().tkparent.ui.destroy()
+
+    def addChild(self, idx, child):
+        if idx:
+            return
+        child.outer.pack(fill=tk.BOTH, expand=True)
+
+    def removeChild(self, idx, child):
+        child.outer.pack_forget()

PUI/utils.py

@@ -0,0 +1,15 @@
+def trbl(d):
+    # https://www.w3schools.com/css/css_padding.asp
+    if isinstance(d, int) or isinstance(d, float):
+        return (d,d,d,d)
+    elif len(d) == 4: # top, right, bottom, left
+        return d
+    elif len(d) == 3: # top, right/left, bottom
+        return (d[0], d[1], d[2], d[1])
+    elif len(d) == 2: # top/bottom, right/left
+        return (d[0], d[1], d[0], d[1])
+    else:
+        raise RuntimeError(f"Unsupported format: {d}")
+    
+def trbl2ltrb(d):
+    return (d[3], d[0], d[1], d[2])

PUI/view.py

@@ -0,0 +1,161 @@
+from .node import *
+from .dom import *
+from .state import StateMutationInViewBuilderError
+import time
+
+DEBUG = False
+
+class PUIView(PUINode):
+    pui_virtual = True
+    pui_isview = True
+    __ALLVIEWS__  = []
+
+    @staticmethod
+    def reload():
+        for v in PUIView.__ALLVIEWS__:
+            if DEBUG:
+                print("reload", v.key)
+            v.redraw()
+
+    def __init__(self, *args):
+        self.frames = []
+        self.dirty = False
+        self.updating = False
+        super().__init__(*args)
+        PUIView.__ALLVIEWS__.append(self)
+
+    def __enter__(self):
+        if not hasattr(tls, "puistack"):
+            tls.puistack = []
+        tls.puistack.append(self)
+        # print("enter", type(self).__name__, id(self))
+        self.root.frames.append(self)
+        return self
+
+    def __exit__(self, ex_type, value, traceback):
+        tls.puistack.pop()
+        # print("exit", type(self).__name__, id(self))
+        self.root.frames.pop()
+        if ex_type is None: # don't consume exception
+            return self
+
+    def content(self):
+        return None
+
+    def dump(self):
+        if DEBUG:
+            print(f"content() start", self.key)
+        start = time.time()
+        with self as scope:
+            self.content()
+        if DEBUG:
+            print(f"content() time: {time.time()-start:.5f}", self.key)
+        return scope
+
+    def destroy(self, direct):
+        try:
+            PUIView.__ALLVIEWS__.remove(self)
+        except:
+            pass
+        return super().destroy(direct)
+
+    def redraw(self):
+        if self.retired_by or self.destroyed:
+            return
+        self.dirty = True
+        if self.updating:
+            return
+        self.updating = True
+        self.sync()
+
+    def wait(self):
+        """
+        Wait for the view to be updated.
+        """
+        while self.updating or self.dirty:
+            time.sleep(0.0001)
+
+    # Subview update entry point
+    def sync(self):
+        if not self.pui_virtual:
+            raise VDomError(f"sync() called on non-virtual node {self.key}")
+        if self.retired_by or self.destroyed:
+            return
+        self.dirty = False
+
+        dom_parent = (self.pui_dom_parent or self).get_node()
+        if DEBUG:
+            print(f"Sync subview {self.key}@{id(self)} retired_by={id(self.retired_by) if self.retired_by else None} destroyed={self.destroyed} dom_parent={dom_parent.key}@{id(dom_parent)}")
+        found, offset = dom_parent.findDomOffsetForNode(self)
+        if DEBUG:
+            print(f"    found={found} offset={offset}")
+        if not found:
+            if DEBUG:
+                print(dom_parent.serialize(show_pyid=True, show_hierarchy=True))
+            offset = 0
+
+        last_children = self.children
+        try:
+            self.update()
+        except (StateMutationInViewBuilderError, VDomError):
+            raise
+        except:
+            # prevent crash in hot-reloading
+            self.children = last_children
+            import traceback
+            print("## <ERROR OF content() >", self.key, id(self))
+            traceback.print_exc()
+            print("## </ERROR OF content()>")
+
+        start = time.time()
+        if DEBUG:
+            print("sync() start", self.key)
+
+        if DEBUG:
+            print(f"offset for {self.key}@{id(self)} on {dom_parent.key}@{id(dom_parent)} is {offset}")
+        sync(self, dom_parent, offset, last_children, self.children)
+        if DEBUG:
+            print(f"sync() time: {time.time()-start:.5f}", self.key)
+
+        self.updating = False
+        if self.dirty:
+            self.redraw()
+
+    def update(self, prev=None):
+        if self.retired_by:
+            return
+        if self.destroyed:
+            return
+        if not prev:
+            if self.setup:
+                self.setup()
+                self.setup = None
+        else:
+            self.setup = None
+
+        if DEBUG:
+            print(f"update() {self.key}@{id(self)} prev={id(prev) if prev else None}")
+
+        if prev and prev is not self:
+            prev.retired_by = self
+            try:
+                print(f"retired {prev.key}@{id(prev)}")
+                PUIView.__ALLVIEWS__.remove(prev)
+            except:
+                pass
+
+        self.children = []
+        if DEBUG:
+            print(f"content() start", self.key)
+        start = time.time()
+        with self as scope: # init frame stack
+            self.content() # V-DOM builder
+        if DEBUG:
+            print(f"content() time: {time.time()-start:.5f}", self.key)
+
+    def setup(self):
+        pass
+
+    def run(self):
+        self.sync()
+        self.start()

PUI/wx/__init__.py

@@ -0,0 +1,19 @@
+from .application import *
+from .button import *
+from .canvas import *
+from .checkbox import *
+from .combobox import *
+from .dialog import *
+from .divider import *
+from .label import *
+from .layout import *
+from .progressbar import *
+from .radiobutton import *
+from .scroll import *
+from .text import *
+from .textfield import *
+from .window import *
+
+PUIView = WxPUIView
+
+PUI_BACKEND = "wx"

PUI/wx/application.py

@@ -0,0 +1,44 @@
+from .. import *
+from .base import *
+
+class Application(WxPUIView):
+    def __init__(self, icon=None):
+        super().__init__()
+        self.ui = None
+        self.icon = icon
+
+    def redraw(self):
+        if self.ui:
+            super().redraw()
+        else:
+            self.update(None)
+
+    def update(self, prev=None):
+        if not self.ui:
+            self.ui = wx.App()
+
+        super().update(prev)
+
+    def addChild(self, idx, child):
+        child.outer.Show()
+
+    def removeChild(self, idx, child):
+        child.outer.Close()
+
+    def start(self):
+        self.ui.MainLoop()
+
+def PUIApp(func):
+    def func_wrapper(*args, **kwargs):
+        class PUIAppWrapper(Application):
+            def __init__(self, name):
+                self.name = name
+                super().__init__()
+
+            def content(self):
+                return func(*args, **kwargs)
+
+        ret = PUIAppWrapper(func.__name__)
+        return ret
+
+    return func_wrapper

PUI/wx/base.py

@@ -0,0 +1,202 @@
+from .. import *
+
+import wx
+
+def int_to_wx_colour(color_int):
+    red = (color_int >> 16) & 0xFF
+    green = (color_int >> 8) & 0xFF
+    blue = color_int & 0xFF
+    return wx.Colour(red, green, blue)
+
+def getWindow(n):
+    from .window import Window
+    from .scroll import Scroll
+    p = n
+    while p:
+        if isinstance(p, Scroll):
+            return p.ui
+        if isinstance(p, Window):
+            return p.ui
+        p = p.parent
+    raise RuntimeError("!!! getWindow returns None for", n.key if n else None)
+
+class WxPUIView(PUIView):
+    pui_virtual = True
+    def __init__(self):
+        super().__init__()
+
+    def destroy(self, direct):
+        if self.ui: # PUIView doesn't have ui
+            self.ui.Destroy()
+        self.ui = None
+        super().destroy(direct)
+
+    def redraw(self):
+        wx.CallAfter(self.sync)
+
+    def update(self, prev=None):
+        if self.retired_by:
+            return
+        self.dirty = False
+        super().update(prev)
+        self.updating = False
+        if self.dirty:
+            self.update(prev)
+
+class WXBase(PUINode):
+    scroll = False
+    container_x = False
+    container_y = False
+    strong_expand_x = False
+    strong_expand_y = False
+    weak_expand_x = False
+    weak_expand_y = False
+    nweak_expand_x = False
+    nweak_expand_y = False
+    strong_expand_x_children = 0
+    strong_expand_y_children = 0
+
+    @property
+    def expand_x(self):
+        return self.strong_expand_x or (self.weak_expand_x and not self.nweak_expand_x)
+
+    @property
+    def expand_y(self):
+        return self.strong_expand_y or (self.weak_expand_y and not self.nweak_expand_y)
+
+    def update(self, prev):
+        parent = self.wxparent
+        if parent:
+            if not parent.scroll and len(parent.children) == 1:
+                if parent.expand_x:
+                    self.strong_expand_x = True
+                if parent.expand_y:
+                    self.strong_expand_y = True
+
+            # request expanding from inside
+            if parent.container_x:
+                if parent.expand_y:
+                    self.strong_expand_y = True
+                if self.layout_weight:
+                    self.strong_expand_x = True
+                    parent.strong_expand_x_children += 1
+                    p = parent
+                    while p:
+                        if isinstance(p, WXBase):
+                            p.weak_expand_x = True
+                        if p==p.parent:
+                            break
+                        p = p.parent
+
+            if parent.container_y:
+                if parent.expand_x:
+                    self.strong_expand_x = True
+                if self.layout_weight:
+                    self.strong_expand_y = True
+                    parent.strong_expand_y_children += 1
+                    p = parent
+                    while p:
+                        if isinstance(p, WXBase):
+                            p.weak_expand_y = True
+                        if p==p.parent:
+                            break
+                        p = p.parent
+
+            if parent.strong_expand_x_children > 0:
+                self.nweak_expand_x = True
+            if parent.strong_expand_y_children > 0:
+                self.nweak_expand_y = True
+
+        else:
+            # mark root node as expanding
+            self.strong_expand_x = True
+            self.strong_expand_y = True
+
+        super().update(prev)
+
+    @property
+    def wxparent(self):
+        parent = self.parent
+        while not isinstance(parent, WXBase):
+            if parent==parent.parent:
+                parent = None
+                break
+            parent = parent.parent
+        return parent
+
+
+class WxBaseWidget(WXBase):
+    pui_terminal = True
+
+    def __init__(self):
+        super().__init__()
+        self.layout_padding = (3, 3, 3, 3)
+
+    def update(self, prev):
+        super().update(prev)
+
+        if self.style_fontsize:
+            font = self.ui.GetFont()
+            font.SetPointSize(self.style_fontsize)
+            self.ui.SetFont(font)
+
+        # Set font color if specified
+        if self.style_color:
+            self.ui.SetForegroundColour(int_to_wx_colour(self.style_color))
+
+    def destroy(self, direct):
+        if self.ui is not None:
+            self.ui.Destroy()
+            self.ui = None
+        super().destroy(direct)
+
+class WxBaseLayout(WXBase):
+    def __init__(self):
+        super().__init__()
+        if not isinstance(self.non_virtual_parent, WxBaseLayout):
+            self.layout_padding = (11,11,11,11)
+
+    def destroy(self, direct):
+        # self.ui.Destroy()
+        self.ui = None
+        super().destroy(direct)
+
+    def addChild(self, idx, child):
+        from .layout import Spacer
+        weight = child.layout_weight
+        if weight is None:
+            weight = 0
+        if not weight and self.container_x and child.expand_x:
+            weight = 1
+        if not weight and self.container_y and child.expand_y:
+            weight = 1
+        flag = wx.ALL
+
+        p = 0
+        if child.layout_padding:
+            p = max(child.layout_padding)
+        if isinstance(child, WxBaseLayout):
+            self.ui.Insert(idx, child.outer, proportion=weight, flag=flag|wx.EXPAND, border=p)
+        elif isinstance(child, WxBaseWidget):
+            if child.expand_x or child.expand_y or child.weak_expand_x or child.weak_expand_y:
+                flag |= wx.EXPAND
+            else:
+                flag |= wx.ALIGN_CENTER
+            self.ui.Insert(idx, child.outer, proportion=weight, flag=flag, border=p)
+        elif isinstance(child, Spacer):
+            self.ui.InsertStretchSpacer(idx, weight)
+
+    def removeChild(self, idx, child):
+        from .layout import Spacer
+        if isinstance(child, WxBaseLayout):
+            self.ui.Detach(idx)
+        elif isinstance(child, WxBaseWidget):
+            self.ui.Detach(idx)
+        elif isinstance(child, Spacer):
+            self.ui.Detach(idx)
+
+    def postSync(self):
+        if self.ui:
+            self.ui.Layout()
+            self.ui.Fit(getWindow(self.parent))
+        super().postSync()

PUI/wx/button.py

@@ -0,0 +1,16 @@
+from .. import *
+from .base import *
+
+class Button(WxBaseWidget):
+    def __init__(self, text):
+        super().__init__()
+        self.text = text
+
+    def update(self, prev):
+        if prev and prev.ui:
+            self.ui = prev.ui
+            self.ui.SetLabel(self.text)
+        else:
+            self.ui = wx.Button(getWindow(self.parent), label=self.text)
+            self.ui.Bind(wx.EVT_BUTTON, self._clicked)
+        super().update(prev)