karm-kira: Fix repaint of selection.

Author: sleepy-monax

src/karm-kira/row.cpp

@@ -68,6 +68,10 @@ export Ui::Child titleRow(String t) {
            Ui::insets({16, 12, 8, 12});
 }
 
+export Ui::Child labelRow(String t) {
+    return rowContent(Ui::labelMedium(t));
+}
+
 export Ui::Child pressableRow(Opt<Ui::Send<>> onPress, Opt<Ui::Child> leading, String title, Opt<String> subtitle, Opt<Ui::Child> trailing) {
     return button(
         std::move(onPress),

src/karm-kira/selection.cpp

@@ -38,7 +38,7 @@ struct SelectionArea : Ui::ProxyNode<SelectionArea> {
 
     void paint(Gfx::Canvas& g, Math::Recti r) override {
         ProxyNode::paint(g, r);
-        
+
         if (_selecting) {
             g.push();
             g.fillStyle(Ui::ACCENT500.withOpacity(0.25));
@@ -59,6 +59,7 @@ struct SelectionArea : Ui::ProxyNode<SelectionArea> {
                 if (mouseEvent->type == App::MouseEvent::RELEASE and
                     mouseEvent->button == App::MouseButton::LEFT) {
                     _selecting = false;
+                    Ui::shouldRepaint(*this, selectionRect().clipTo(bound()));
                     e.accept();
                 }
 
@@ -101,10 +102,11 @@ struct SelectionItem : Ui::ProxyNode<SelectionItem> {
 
     void event(App::Event& e) override {
         if (auto selectionEvent = e.is<SelectionUpdateEvent>()) {
-            if (selectionEvent->rect.colide(bound()))
-                _selected = true;
-            else
-                _selected = false;
+            bool const newSelected = selectionEvent->rect.colide(bound());
+            if (_selected != newSelected) {
+                _selected = newSelected;
+                Ui::shouldRepaint(*this);
+            }
             return;
         }
 
@@ -128,4 +130,4 @@ export auto selectionItem() {
     };
 }
 
-} // namespace Karm::Kira
+} // namespace Karm::Kira