From 9bcceee133660668b8267ddb6badd62d05aa4736 Mon Sep 17 00:00:00 2001 From: Quentin Ligier Date: Mon, 15 Jan 2024 09:11:00 +0100 Subject: [PATCH] Set fixed height for validation issues/editor Fixes #177 --- .../src/app/validate/validate.component.html | 2 +- .../src/app/validate/validate.component.scss | 10 +++++++++- .../src/app/validate/validate.component.ts | 2 -- 3 files changed, 10 insertions(+), 4 deletions(-) diff --git a/matchbox-frontend/src/app/validate/validate.component.html b/matchbox-frontend/src/app/validate/validate.component.html index d3b92d5cab0..65f070092ea 100644 --- a/matchbox-frontend/src/app/validate/validate.component.html +++ b/matchbox-frontend/src/app/validate/validate.component.html @@ -108,7 +108,7 @@

Validation history

-
+

Result of the validation

diff --git a/matchbox-frontend/src/app/validate/validate.component.scss b/matchbox-frontend/src/app/validate/validate.component.scss index 4d2f2fbe2a8..104b775520f 100644 --- a/matchbox-frontend/src/app/validate/validate.component.scss +++ b/matchbox-frontend/src/app/validate/validate.component.scss @@ -99,7 +99,15 @@ table { } .card-maps { - margin-bottom: 10px; + padding: 8px 16px; +} +.row-full-height .card-maps { + height: 96vh; + max-height: 96vh; + overflow-y: auto; +} +#editor { + height: calc(100% - 50px); } .column50 { diff --git a/matchbox-frontend/src/app/validate/validate.component.ts b/matchbox-frontend/src/app/validate/validate.component.ts index 9c356628b93..3258592d36c 100644 --- a/matchbox-frontend/src/app/validate/validate.component.ts +++ b/matchbox-frontend/src/app/validate/validate.component.ts @@ -101,7 +101,6 @@ export class ValidateComponent implements AfterViewInit { this.editor.setReadOnly(true); this.editor.setTheme('ace/theme/textmate'); this.editor.setOptions({ - maxLines: 10000, tabSize: INDENT_SPACES, wrap: true, useWorker: false, @@ -375,7 +374,6 @@ export class ValidateComponent implements AfterViewInit { if (issue.line) { this.editor.gotoLine(issue.line, issue.col, true); this.editor.scrollToLine(issue.line, false, true, () => {}); - this.editor.resize(true); } }