• Official name for this slider?

    From John G@21:1/5 to All on Wed Jul 31 02:10:30 2024
    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

    --- SoupGate-Win32 v1.05
    * Origin: fsxNet Usenet Gateway (21:1/5)
  • From Big Al@21:1/5 to John G on Tue Jul 30 23:22:33 2024
    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)