diff options
| author | Plastikmensch <Plastikmensch@users.noreply.github.com> | 2022-12-23 12:35:03 +0100 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2022-12-23 12:35:03 +0100 |
| commit | 4b51d1386b61030334684bd33d8a8c7231c3bf2f (patch) | |
| tree | 322d299e4dcd87074e894a8a4241a71292860e43 /ide-helper.js | |
| parent | 05b3907b0c066996ecda427d6f96b4ff1d9e32f9 (diff) | |
Realign timestamps (#2044)
Add missing display and overflow properties. Fixes misaligned timestamps and missing overflow in search. Signed-off-by: Plastikmensch <plastikmensch@users.noreply.github.com> Signed-off-by: Plastikmensch <plastikmensch@users.noreply.github.com>
Diffstat (limited to 'ide-helper.js')
0 files changed, 0 insertions, 0 deletions