Add tileId (Mapget) in source data header

ndsev · Sep 12, 2024 · d8d753b · d8d753b
1 parent 2a8b73b
commit d8d753b
Show file tree

Hide file tree

Showing 2 changed files with 1 addition and 4 deletions.
diff --git a/erdblick_app/app/inspection.panel.component.ts b/erdblick_app/app/inspection.panel.component.ts
@@ -115,7 +115,6 @@ export class InspectionPanelComponent
                                 let sourceData = {...selection};
                                 sourceData.layerId = item.layerId;
                                 sourceData.address = BigInt(0);
-
                                 this.inspectionService.selectedSourceData.next(sourceData);
                             },
                         };
@@ -158,7 +157,7 @@ export class InspectionPanelComponent
 
     pushSourceDataInspector(data: SelectedSourceData) {
         let tab = {
-            title: "Source Data",
+            title: `${data.tileId}.`,
             icon: "",
             component: SourceDataPanelComponent,
             inputs: {

diff --git a/erdblick_app/styles.scss b/erdblick_app/styles.scss
@@ -2,8 +2,6 @@
 @layer primeng, erdblick;
 
 .source-layer-dropdown {
-    margin-left: 0.25em;
-
     .p-dropdown-label {
         padding: 0.4em;
         min-width: 13em;