Fossil

Differences From Artifact [e46862688d]:

• File src/default.css — part of check-in [8a6ccf9ddd] at 2020-08-16 00:50:31 on branch line-number-selection — Removed the copy button's hard-coded post-copy behaviour (flashing) and instead fire a text-copied event. The line number selection now closes the popup widget after the copy button is triggered. Implemented a basic toast-message API using PopupWidget. (user: stephan size: 24807)

To Artifact [0184073faf]:

• File src/default.css — part of check-in [22c592fc32] at 2020-08-16 03:53:47 on branch line-number-selection — Added 'important' to 'hidden' CSS rules to ensure that its visibility-hindering attributes trump other classes' attributes. This fixes the .hidden-yet-visible toast message popup and makes .hidden more future-proof. (user: stephan size: 25140)

945
946
947
948
949
950
951





952
953
954
955
956
957
958
959
960
961
962

}
.warning {
  color: darkred;
  background: yellow;
  opacity: 0.7;
}
.hidden {





  position: absolute;
  opacity: 0;
  pointer-events: none;
  display: none;
}
input {
  max-width: 95%;
}
textarea {
  max-width: 95%;
}

>
>
>
>
>
|
|
|
|

945
946
947
948
949
950
951
952
953
954
955
956
957
958
959
960
961
962
963
964
965
966
967

}
.warning {
  color: darkred;
  background: yellow;
  opacity: 0.7;
}
.hidden {
  /* The framework-wide way of hiding elements is to assign them this
     CSS class. To make them visible again, remove it. The !important
     qualifiers are unfortunate but sometimes necessary when hidden
     element has other classes which specify visibility-related
     options. */
  position: absolute !important;
  opacity: 0 !important;
  pointer-events: none !important;
  display: none !important;
}
input {
  max-width: 95%;
}
textarea {
  max-width: 95%;
}