From 7d2d813343baae10c2667590463385d50abb784c Mon Sep 17 00:00:00 2001
From: Giuliano Bellini s294739 <s294739@studenti.polito.it>
Date: Mon, 23 Jan 2023 16:57:24 +0100
Subject: added new style for scrollable, to be applied when mouse is over the
 scrollable area

---
 style/src/scrollable.rs | 10 ++++++++++
 1 file changed, 10 insertions(+)

(limited to 'style/src')

diff --git a/style/src/scrollable.rs b/style/src/scrollable.rs
index 64ed8462..a3f3db20 100644
--- a/style/src/scrollable.rs
+++ b/style/src/scrollable.rs
@@ -45,6 +45,11 @@ pub trait StyleSheet {
         self.hovered(style)
     }
 
+    /// Produces the style of a scrollbar when mouse is over the scrollable area.
+    fn focused(&self, style: &Self::Style) -> Scrollbar {
+        self.active(style)
+    }
+
     /// Produces the style of an active horizontal scrollbar.
     fn active_horizontal(&self, style: &Self::Style) -> Scrollbar {
         self.active(style)
@@ -59,4 +64,9 @@ pub trait StyleSheet {
     fn dragging_horizontal(&self, style: &Self::Style) -> Scrollbar {
         self.hovered_horizontal(style)
     }
+
+    /// Produces the style of a horizontal scrollbar when mouse is over the scrollable area.
+    fn focused_horizontal(&self, style: &Self::Style) -> Scrollbar {
+        self.active_horizontal(style)
+    }
 }
-- 
cgit