[FIX] runbot_merge: make timestamps and batch labels selectable

In the branch lists of stagings, the timestamps in the left column and
the labels in the data cells can not be selected, because they're
buttons and anyway bootstrap explicitly sets

    .btn {
        ...
        user-select: none;
    }

This can be frustrating, as timestamps and labels are useful
information to cross-reference, the ability to copy them is
convenient.

Custom-set the reverse via our own CSS.

Fixes #668
This commit is contained in:
Xavier Morel 2022-11-03 15:39:11 +01:00
parent afe4d13eeb
commit 1a5c143a00
2 changed files with 9 additions and 0 deletions

View File

@ -0,0 +1,5 @@
IMP: make timestamps and batch labels selectable
In the list of stagings for a branch, the timestamps and batch labels were not
selectable, which was inconvenent for cross-referencing and copy/pasting. They
should now be selectable.

View File

@ -45,6 +45,10 @@ h5 { font-size: 1em; }
display: inline-block;
}
.btn {
user-select: text;
}
// mergebot layouting
.stagings {
display: flex;