problems: make timeline optional

2019-02-13 20:21:18 +03:00
parent 58f1ee07eb
commit 9cabb58ac1
5 changed files with 15 additions and 2 deletions
--- a/src/panel-triggers/types.ts
+++ b/src/panel-triggers/types.ts
@@ -29,6 +29,7 @@ export interface ProblemsPanelOptions {
  // View options
  fontSize?: string;
  pageSize?: number;
+  problemTimeline?: boolean;
  highlightBackground?: boolean;
  highlightNewEvents?: boolean;
  highlightNewerThan?: string;