Implement deeplink, creating pastes, log deduplication
Summary: This diff implements the remaining features in the logs plugin: - deeplinking - merging duplicate rows The logs plugin source code has now been reduced from originally `935` to `285` LoC. All optimisation code has been removed from the plugin: * debouncing data processing * pre-rendering (and storing!) all rows Finally applied some further styling tweaks and applied some renames to DataTable / DataSource + types finetuning. Some more will follow. Fixed a emotion warning in unit tests which was pretty annoying. Reviewed By: passy Differential Revision: D26666190 fbshipit-source-id: e45e289b4422ebeb46cad927cfc0cfcc9566834f
This commit is contained in:
committed by
Facebook GitHub Bot
parent
dec8e88aeb
commit
525e079284
@@ -8,7 +8,6 @@
|
||||
*/
|
||||
|
||||
// Exposes all the variables defined in themes/base.less:
|
||||
|
||||
export const theme = {
|
||||
white: 'white', // use as counter color for primary
|
||||
black: 'black',
|
||||
@@ -38,7 +37,12 @@ export const theme = {
|
||||
huge: 24,
|
||||
} as const,
|
||||
fontSize: {
|
||||
smallBody: '12px',
|
||||
default: '14px',
|
||||
small: '12px',
|
||||
} as const,
|
||||
monospace: {
|
||||
fontFamily: 'SF Mono,Monaco,Andale Mono,monospace',
|
||||
fontSize: '12px',
|
||||
} as const,
|
||||
} as const;
|
||||
|
||||
|
||||
Reference in New Issue
Block a user