Merge pull request #170 from jdan/progress-indicator

Progress indicator (a.k.a. progress bar control)
This commit is contained in:
Juani Garay 2023-09-21 14:56:22 -03:00 committed by GitHub
commit ece2482d74
No known key found for this signature in database
GPG key ID: 4AEE18F83AFDEB23
2 changed files with 62 additions and 1 deletions

View file

@ -891,3 +891,35 @@ table > tbody > tr > * {
padding: 0 var(--grouped-element-spacing);
height: 14px;
}
.progress-indicator {
height: 32px;
position: relative;
box-shadow: var(--border-sunken-inner);
padding: 4px 4px;
border: none;
box-sizing: border-box;
-webkit-appearance: none;
-moz-appearance: none;
appearance: none;
border-radius: 0;
}
.progress-indicator > .progress-indicator-bar {
height: 100%;
display: block;
background-color: var(--dialog-blue);
}
.progress-indicator.segmented > .progress-indicator-bar {
width: 100%;
background-color: transparent; /* resets the background color which is set to blue in the non-segmented selector */
background-image: linear-gradient(
90deg,
var(--dialog-blue) 0 16px,
transparent 0 2px
);
background-repeat: repeat;
background-size: 18px 100%;
}