Merge pull request #6417 from ajp8164/feat/improved-log

Enhance logging with timestamps and filtering.
This commit is contained in:
Javier Donadío 2017-07-20 12:11:45 -03:00 committed by GitHub
commit e2cd5650ed
14 changed files with 356 additions and 47 deletions

View file

@ -123,6 +123,20 @@
color: #00901B;
}
}
.log-bg {
background: white;
}
.log-entry {
font-size: 12px;
line-height: 18px;
border: none;
}
.log-timestamp {
font-weight: bold;
}
.log-level {
font-weight: bold;
}
}
#tab-settings {