On 7/30/24 10:10 PM, John G wrote:
Is there an official name for the slider shown in this picture?
https://imgur.com/bkFkCLM
When the user slides it, the counter number changes accordingly.
Is it a scroller but it can't be called scrollbar, surely because in
browsers scrollbars have different meaning.
https://imgur.com/bkFkCLM
In Linux themes it's called the slider. Here's a piece of code for a theme.
scale slider {
min-height: 15px;
min-width: 15px;
margin: -6px; }
scale.fine-tune slider {
margin: -4px; }
scale.fine-tune fill,
scale.fine-tune highlight,
scale.fine-tune trough {
border-radius: 5px;
-gtk-outline-radius: 7px; }
scale slider {
background-clip: border-box;
background-color: #F5F5F5;
border: 1px solid rgba(125, 125, 125, 0.5);
border-radius: 50%;
box-shadow: none; }
--
Linux Mint 21.3, Cinnamon 6.0.4, Kernel 5.15.0-117-generic
Al
--- SoupGate-Win32 v1.05
* Origin: fsxNet Usenet Gateway (21:1/5)