view libervia/desktop_kivy/core/widgets_handler.py @ 505:bbef1a413515

core (main): add methods to deleted notifications: This will be used notably in Calls feature to remove a notification if an incoming call is cancelled before being handler by user. rel 425
author Goffi <goffi@goffi.org>
date Wed, 25 Oct 2023 15:24:42 +0200
parents b3cedbee561d
children
line wrap: on
line source

#!/usr/bin/env python3

#Libervia Desktop-Kivy
# Copyright (C) 2016-2021 Jérôme Poisson (goffi@goffi.org)

# This program is free software: you can redistribute it and/or modify
# it under the terms of the GNU Affero General Public License as published by
# the Free Software Foundation, either version 3 of the License, or
# (at your option) any later version.

# This program is distributed in the hope that it will be useful,
# but WITHOUT ANY WARRANTY; without even the implied warranty of
# MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the
# GNU Affero General Public License for more details.

# You should have received a copy of the GNU Affero General Public License
# along with this program.  If not, see <http://www.gnu.org/licenses/>.


from libervia.backend.core import log as logging
from libervia.backend.core import exceptions
from libervia.frontends.quick_frontend import quick_widgets
from kivy.graphics import Color, Ellipse
from kivy.uix.layout import Layout
from kivy.uix.boxlayout import BoxLayout
from kivy.uix.stencilview import StencilView
from kivy.uix.carousel import Carousel
from kivy.uix.screenmanager import ScreenManager, Screen
from kivy.metrics import dp
from kivy import properties
from libervia.desktop_kivy import G
from .constants import Const as C
from . import cagou_widget

log = logging.getLogger(__name__)


REMOVE_WID_LIMIT = dp(50)
MIN_WIDTH = MIN_HEIGHT = dp(70)


class BoxStencil(BoxLayout, StencilView):
    pass


class WHWrapper(BoxLayout):
    main_container = properties.ObjectProperty(None)
    screen_manager = properties.ObjectProperty(None, allownone=True)
    carousel = properties.ObjectProperty(None, allownone=True)
    split_size = properties.NumericProperty(dp(1))
    split_margin = properties.NumericProperty(dp(2))
    split_color = properties.ListProperty([0.8, 0.8, 0.8, 1])
    split_color_move = C.COLOR_SEC_DARK
    split_color_del = properties.ListProperty([0.8, 0.0, 0.0, 1])
    # sp stands for "split point"
    sp_size = properties.NumericProperty(dp(1))
    sp_space = properties.NumericProperty(dp(4))
    sp_zone = properties.NumericProperty(dp(30))
    _split = properties.OptionProperty('None', options=['None', 'left', 'top'])
    _split_del = properties.BooleanProperty(False)

    def __init__(self, **kwargs):
        idx = kwargs.pop('_wid_idx')
        self._wid_idx = idx
        super(WHWrapper, self).__init__(**kwargs)
        self._left_wids = set()
        self._top_wids = set()
        self._right_wids = set()
        self._bottom_wids = set()
        self._clear_attributes()

    def _clear_attributes(self):
        self._former_slide = None

    def __repr__(self):
        return "WHWrapper_{idx}".format(idx=self._wid_idx)

    def _main_wid(self, wid_list):
        """return main widget of a side list

        main widget is either the widget currently splitted
        or any widget if none is split
        @return (WHWrapper, None): main widget or None
            if there is not widget
        """
        if not wid_list:
            return None
        for wid in wid_list:
            if wid._split != 'None':
                return wid
        return next(iter(wid_list))

    def on_parent(self, __, new_parent):
        if new_parent is None:
            # we detach all children so LiberviaDesktopKivyWidget.whwrapper won't link to this one
            # anymore
            self.clear_widgets()

    @property
    def _left_wid(self):
        return self._main_wid(self._left_wids)

    @property
    def _top_wid(self):
        return self._main_wid(self._top_wids)

    @property
    def _right_wid(self):
        return self._main_wid(self._right_wids)

    @property
    def _bottom_wid(self):
        return self._main_wid(self._bottom_wids)

    @property
    def current_slide(self):
        if (self.carousel is not None
            and (self.screen_manager is None or self.screen_manager.current == '')):
            return self.carousel.current_slide
        elif self.screen_manager is not None:
            # we should have exactly one children in current_screen, else there is a bug
            return self.screen_manager.current_screen.children[0]
        else:
            try:
                return self.main_container.children[0]
            except IndexError:
                log.error("No child found, this should not happen")
                return None

    @property
    def carousel_active(self):
        """Return True if Carousel is used and active"""
        if self.carousel is None:
            return False
        if self.screen_manager is not None and self.screen_manager.current != '':
            return False
        return True

    @property
    def former_screen_wid(self):
        """Return widget currently active for former screen"""
        if self.screen_manager is None:
            raise exceptions.InternalError(
                "former_screen_wid can only be used if ScreenManager is used")
        if self._former_screen_name is None:
            return None
        return self.get_screen_widget(self._former_screen_name)

    def get_screen_widget(self, screen_name):
        """Return screen main widget, handling carousel if necessary"""
        if self.carousel is not None and screen_name == '':
            return self.carousel.current_slide
        try:
            return self.screen_manager.get_screen(screen_name).children[0]
        except IndexError:
            return None

    def _draw_ellipse(self):
        """draw split ellipse"""
        color = self.split_color_del if self._split_del else self.split_color_move
        try:
            self.canvas.after.remove(self.ellipse)
        except AttributeError:
            pass
        if self._split == "top":
            with self.canvas.after:
                Color(*color)
                self.ellipse = Ellipse(angle_start=90, angle_end=270,
                               pos=(self.x + self.width/2 - self.sp_zone/2,
                                    self.y + self.height - self.sp_zone/2),
                               size=(self.sp_zone, self.sp_zone))
        elif self._split == "left":
            with self.canvas.after:
                Color(*color)
                self.ellipse = Ellipse(angle_end=180,
                               pos=(self.x + -self.sp_zone/2,
                                    self.y + self.height/2 - self.sp_zone/2),
                               size = (self.sp_zone, self.sp_zone))
        else:
            raise exceptions.InternalError('unexpected split value')

    def on_touch_down(self, touch):
        """activate split if touch is on a split zone"""
        if not self.collide_point(*touch.pos):
            return
        log.debug("WIDGET IDX: {} (left: {}, top: {}, right: {}, bottom: {}), pos: {}, size: {}".format(
            self._wid_idx,
            'None' if not self._left_wids else [w._wid_idx for w in self._left_wids],
            'None' if not self._top_wids else [w._wid_idx for w in self._top_wids],
            'None' if not self._right_wids else [w._wid_idx for w in self._right_wids],
            'None' if not self._bottom_wids else [w._wid_idx for w in self._bottom_wids],
            self.pos,
            self.size,
            ))
        touch_rx, touch_ry = self.to_widget(*touch.pos, relative=True)
        if (touch_ry <= self.height and
            touch_ry >= self.height - self.split_size - self.split_margin or
            touch_ry <= self.height and
            touch_ry >= self.height - self.sp_zone and
            touch_rx >= self.width//2 - self.sp_zone//2 and
            touch_rx <= self.width//2 + self.sp_zone//2):
            # split area is touched, we activate top split mode
            self._split = "top"
            self._draw_ellipse()
        elif (touch_rx >= 0 and
              touch_rx <= self.split_size + self.split_margin or
              touch_rx >= 0 and
              touch_rx <= self.sp_zone and
              touch_ry >= self.height//2 - self.sp_zone//2 and
              touch_ry <= self.height//2 + self.sp_zone//2):
            # split area is touched, we activate left split mode
            self._split = "left"
            touch.ud['ori_width'] = self.width
            self._draw_ellipse()
        else:
            if self.carousel_active and len(self.carousel.slides) <= 1:
                # we don't want swipe of carousel if there is only one slide
                return StencilView.on_touch_down(self.carousel, touch)
            else:
                return super(WHWrapper, self).on_touch_down(touch)

    def on_touch_move(self, touch):
        """handle size change and widget creation on split"""
        if self._split == 'None':
            return super(WHWrapper, self).on_touch_move(touch)

        elif self._split == 'top':
            new_height = touch.y - self.y

            if new_height < MIN_HEIGHT:
                return

            # we must not pass the top widget/border
            if self._top_wids:
                top = next(iter(self._top_wids))
                y_limit = top.y + top.height

                if top.height <= REMOVE_WID_LIMIT:
                    # we are in remove zone, we add visual hint for that
                    if not self._split_del and self._top_wids:
                        self._split_del = True
                        self._draw_ellipse()
                else:
                    if self._split_del:
                        self._split_del = False
                        self._draw_ellipse()
            else:
                y_limit = self.y + self.height

            if touch.y >= y_limit:
                return

            # all right, we can change size
            self.height = new_height
            self.ellipse.pos = (self.ellipse.pos[0], touch.y - self.sp_zone/2)

            if not self._top_wids:
                # we are the last widget on the top
                # so we create a new widget
                new_wid = self.parent.add_widget()
                self._top_wids.add(new_wid)
                new_wid._bottom_wids.add(self)
                for w in self._right_wids:
                    new_wid._right_wids.add(w)
                    w._left_wids.add(new_wid)
                for w in self._left_wids:
                    new_wid._left_wids.add(w)
                    w._right_wids.add(new_wid)

        elif self._split == 'left':
            ori_width = touch.ud['ori_width']
            new_x = touch.x
            new_width = ori_width - (touch.x - touch.ox)

            if new_width < MIN_WIDTH:
                return

            # we must not pass the left widget/border
            if self._left_wids:
                left = next(iter(self._left_wids))
                x_limit = left.x

                if left.width <= REMOVE_WID_LIMIT:
                    # we are in remove zone, we add visual hint for that
                    if not self._split_del and self._left_wids:
                        self._split_del = True
                        self._draw_ellipse()
                else:
                    if self._split_del:
                        self._split_del = False
                        self._draw_ellipse()
            else:
                x_limit = self.x

            if new_x <= x_limit:
                return

            # all right, we can change position/size
            self.x = new_x
            self.width = new_width
            self.ellipse.pos = (touch.x - self.sp_zone/2, self.ellipse.pos[1])

            if not self._left_wids:
                # we are the last widget on the left
                # so we create a new widget
                new_wid = self.parent.add_widget()
                self._left_wids.add(new_wid)
                new_wid._right_wids.add(self)
                for w in self._top_wids:
                    new_wid._top_wids.add(w)
                    w._bottom_wids.add(new_wid)
                for w in self._bottom_wids:
                    new_wid._bottom_wids.add(w)
                    w._top_wids.add(new_wid)

        else:
            raise Exception.InternalError('invalid _split value')

    def on_touch_up(self, touch):
        if self._split == 'None':
            return super(WHWrapper, self).on_touch_up(touch)
        if self._split == 'top':
            # we remove all top widgets in delete zone,
            # and update there side widgets list
            for top in self._top_wids.copy():
                if top.height <= REMOVE_WID_LIMIT:
                    G.host._remove_visible_widget(top.current_slide)
                    for w in top._top_wids:
                        w._bottom_wids.remove(top)
                        w._bottom_wids.update(top._bottom_wids)
                    for w in top._bottom_wids:
                        w._top_wids.remove(top)
                        w._top_wids.update(top._top_wids)
                    for w in top._left_wids:
                        w._right_wids.remove(top)
                    for w in top._right_wids:
                        w._left_wids.remove(top)
                    self.parent.remove_widget(top)
        elif self._split == 'left':
            # we remove all left widgets in delete zone,
            # and update there side widgets list
            for left in self._left_wids.copy():
                if left.width <= REMOVE_WID_LIMIT:
                    G.host._remove_visible_widget(left.current_slide)
                    for w in left._left_wids:
                        w._right_wids.remove(left)
                        w._right_wids.update(left._right_wids)
                    for w in left._right_wids:
                        w._left_wids.remove(left)
                        w._left_wids.update(left._left_wids)
                    for w in left._top_wids:
                        w._bottom_wids.remove(left)
                    for w in left._bottom_wids:
                        w._top_wids.remove(left)
                    self.parent.remove_widget(left)
        self._split = 'None'
        self.canvas.after.remove(self.ellipse)
        del self.ellipse

    def clear_widgets(self):
        current_slide = self.current_slide
        if current_slide is not None:
            G.host._remove_visible_widget(current_slide, ignore_missing=True)

        super().clear_widgets()

        self.screen_manager = None
        self.carousel = None
        self._clear_attributes()

    def set_widget(self, wid, index=0):
        assert len(self.children) == 0

        if wid.collection_carousel or wid.global_screen_manager:
            self.main_container = self
        else:
            self.main_container = BoxStencil()
            self.add_widget(self.main_container)

        if self.carousel is not None:
            return self.carousel.add_widget(wid, index)

        if wid.global_screen_manager:
            if self.screen_manager is None:
                self.screen_manager = ScreenManager()
                self.main_container.add_widget(self.screen_manager)
                parent = Screen()
                self.screen_manager.add_widget(parent)
                self._former_screen_name = ''
                self.screen_manager.bind(current=self.on_screen_change)
                wid.screen_manager_init(self.screen_manager)
        else:
            parent = self.main_container

        if wid.collection_carousel:
            # a Carousel is requested, and this is the first widget that we add
            # so we need to create the carousel
            self.carousel = Carousel(
                direction = "right",
                ignore_perpendicular_swipes = True,
                loop = True,
            )
            self._slides_update_lock = 0
            self.carousel.bind(current_slide=self.on_slide_change)
            parent.add_widget(self.carousel)
            self.carousel.add_widget(wid, index)
        else:
            # no Carousel requested, we add the widget as a direct child
            parent.add_widget(wid)
            G.host._add_visible_widget(wid)

    def change_widget(self, new_widget):
        """Change currently displayed widget

        slides widgets will be updated
        """
        if (self.carousel is not None
            and self.carousel.current_slide.__class__ == new_widget.__class__):
            # we have the same class, we reuse carousel and screen manager setting

            if self.carousel.current_slide != new_widget:
                # slides update need to be blocked to avoid the update in on_slide_change
                # which would mess the removal of current widgets
                self._slides_update_lock += 1
                new_wid = None
                for w in self.carousel.slides[:]:
                    if w.widget_hash == new_widget.widget_hash:
                        new_wid = w
                        continue
                    self.carousel.remove_widget(w)
                    if isinstance(w, quick_widgets.QuickWidget):
                        G.host.widgets.delete_widget(w)
                if new_wid is None:
                    new_wid = G.host.get_or_clone(new_widget)
                    self.carousel.add_widget(new_wid)
                self._update_hidden_slides()
                self._slides_update_lock -= 1

            if self.screen_manager is not None:
                self.screen_manager.clear_widgets([
                    s for s in self.screen_manager.screens if s.name != ''])
                new_wid.screen_manager_init(self.screen_manager)
        else:
            # else, we restart fresh
            self.clear_widgets()
            self.set_widget(G.host.get_or_clone(new_widget))

    def on_screen_change(self, screen_manager, new_screen):
        try:
            new_screen_wid = self.current_slide
        except IndexError:
            new_screen_wid = None
            log.warning("Switching to a screen without children")
        if new_screen == '' and self.carousel is not None:
            # carousel may have been changed in the background, so we update slides
            self._update_hidden_slides()
        former_screen_wid = self.former_screen_wid
        if isinstance(former_screen_wid, cagou_widget.LiberviaDesktopKivyWidget):
            G.host._remove_visible_widget(former_screen_wid)
        if isinstance(new_screen_wid, cagou_widget.LiberviaDesktopKivyWidget):
            G.host._add_visible_widget(new_screen_wid)
        self._former_screen_name = new_screen
        G.host.selected_widget = new_screen_wid

    def on_slide_change(self, handler, new_slide):
        if self._former_slide is new_slide:
            # FIXME: workaround for Kivy a95d67f (and above?), Carousel.current_slide
            #        binding now calls on_slide_change twice with the same widget (here
            #        "new_slide"). To be checked with Kivy team.
            return
        log.debug(f"Slide change: new_slide = {new_slide}")
        if self._former_slide is not None:
            G.host._remove_visible_widget(self._former_slide, ignore_missing=True)
        self._former_slide = new_slide
        if self.carousel_active:
            G.host.selected_widget = new_slide
            if new_slide is not None:
                G.host._add_visible_widget(new_slide)
                self._update_hidden_slides()

    def hidden_list(self, visible_list, ignore=None):
        """return widgets of same class as carousel current one, if they are hidden

        @param visible_list(list[QuickWidget]): widgets visible
        @param ignore(QuickWidget, None): do no return this widget
        @return (iter[QuickWidget]): widgets hidden
        """
        # we want to avoid recreated widgets
        added = [w.widget_hash for w in visible_list]
        current_slide = self.carousel.current_slide
        for w in G.host.widgets.get_widgets(current_slide.__class__,
                                           profiles=current_slide.profiles):
            wid_hash = w.widget_hash
            if w in visible_list or wid_hash in added:
                continue
            if wid_hash == ignore.widget_hash:
                continue
            yield w


    def _update_hidden_slides(self):
        """adjust carousel slides according to visible widgets"""
        if self._slides_update_lock or not self.carousel_active:
            return
        current_slide = self.carousel.current_slide
        if not isinstance(current_slide, quick_widgets.QuickWidget):
            return
        # lock must be used here to avoid recursions
        self._slides_update_lock += 1
        visible_list = G.host.get_visible_list(current_slide.__class__)
        # we ignore current_slide as it may not be visible yet (e.g. if an other
        # screen is shown
        hidden = list(self.hidden_list(visible_list, ignore=current_slide))
        slides_sorted =  sorted(set(hidden + [current_slide]))
        to_remove = set(self.carousel.slides).difference({current_slide})
        for w in to_remove:
            self.carousel.remove_widget(w)
        if hidden:
            # no need to add more than two widgets (next and previous),
            # as the list will be updated on each new visible widget
            current_idx = slides_sorted.index(current_slide)
            try:
                next_slide = slides_sorted[current_idx+1]
            except IndexError:
                next_slide = slides_sorted[0]
            self.carousel.add_widget(G.host.get_or_clone(next_slide))
            if len(hidden)>1:
                previous_slide = slides_sorted[current_idx-1]
                self.carousel.add_widget(G.host.get_or_clone(previous_slide))

        self._slides_update_lock -= 1


class WidgetsHandlerLayout(Layout):
    count = 0

    def __init__(self, **kwargs):
        super(WidgetsHandlerLayout, self).__init__(**kwargs)
        self._layout_size = None  # size used for the last layout
        fbind = self.fbind
        update = self._trigger_layout
        fbind('children', update)
        fbind('parent', update)
        fbind('size', self.adjust_prop)
        fbind('pos', update)

    @property
    def default_widget(self):
        return G.host.default_wid['factory'](G.host.default_wid, None, None)

    def adjust_prop(self, handler, new_size):
        """Adjust children proportion

        useful when this widget is resized (e.g. when going to fullscreen)
        """
        if len(self.children) > 1:
            old_width, old_height = self._layout_size
            if not old_width or not old_height:
                # we don't want division by zero
                return self._trigger_layout(handler, new_size)
            width_factor = float(self.width) / old_width
            height_factor = float(self.height) / old_height
            for child in self.children:
                child.width *= width_factor
                child.height *= height_factor
                child.x *= width_factor
                child.y *= height_factor
        self._trigger_layout(handler, new_size)

    def do_layout(self, *args):
        self._layout_size = self.size[:]
        for child in self.children:
            # XXX: left must be calculated before right and bottom before top
            #      because they are the pos, and are used to caculate size (right and top)
            # left
            left = child._left_wid
            left_end_x = self.x-1 if left is None else left.right
            if child.x != left_end_x + 1 and child._split == "None":
                child.x = left_end_x + 1
            # right
            right = child._right_wid
            right_x = self.right + 1 if right is None else right.x
            if child.right != right_x - 1:
                child.width = right_x - child.x - 1
            # bottom
            bottom = child._bottom_wid
            if bottom is None:
                if child.y != self.y:
                    child.y = self.y
            else:
                if child.y != bottom.top + 1:
                    child.y = bottom.top + 1
            # top
            top = child._top_wid
            top_y = self.top+1 if top is None else top.y
            if child.top != top_y - 1:
                if child._split == "None":
                    child.height = top_y - child.y - 1

    def remove_widget(self, wid):
        super(WidgetsHandlerLayout, self).remove_widget(wid)
        log.debug("widget deleted ({})".format(wid._wid_idx))

    def add_widget(self, wid=None, index=0):
        WidgetsHandlerLayout.count += 1
        if wid is None:
            wid = self.default_widget
        if G.host.selected_widget is None:
            G.host.selected_widget = wid
        wrapper = WHWrapper(_wid_idx=WidgetsHandlerLayout.count)
        log.debug("WHWrapper created ({})".format(wrapper._wid_idx))
        wrapper.set_widget(wid)
        super(WidgetsHandlerLayout, self).add_widget(wrapper, index)
        return wrapper


class WidgetsHandler(WidgetsHandlerLayout):

    def __init__(self, **kw):
        super(WidgetsHandler, self).__init__(**kw)
        self.add_widget()