def _on_value_changed(self, adj): """ Adapt widget to current scroll value @param adj as Gtk.Adjustment """ LazyLoadingView._on_value_changed(self, adj) if not self.__view_type & (ViewType.POPOVER | ViewType.FULLSCREEN): title_style_context = self.__title_label.get_style_context() if adj.get_value() == adj.get_lower(): height = self.__banner.default_height self.__duration_label.show() self.__title_label.set_property("valign", Gtk.Align.END) if not App().window.is_adaptive: title_style_context.remove_class("text-x-large") title_style_context.add_class("text-xx-large") else: self.__duration_label.hide() title_style_context.remove_class("text-xx-large") title_style_context.add_class("text-x-large") self.__title_label.set_property("valign", Gtk.Align.CENTER) height = self.__banner.default_height // 3 # Make grid cover artwork # No idea why... self.__banner.set_height(height) self.__widget.set_size_request(-1, height + 1)
def _on_value_changed(self, adj): """ Update scroll value and check for lazy queue @param adj as Gtk.Adjustment """ LazyLoadingView._on_value_changed(self, adj) if adj.get_value() == adj.get_lower(): height = self.__banner.default_height else: height = self.__banner.default_height // 3 self.__banner.set_height(height) self._scrolled.get_vscrollbar().set_margin_top(height)