add sub map support

app.py

@@ -71,7 +71,10 @@ road_names_map = {
 with gr.Blocks(analytics_enabled=False) as demo:
     with gr.Row():
         with gr.Column(scale=1):
-            file_input = gr.File(default_path, label="Map File (NB/CWB/PZC)", file_types=[".map"])
+            plot_button = gr.Button("Plot")
+            with gr.Row():
+                file_input = gr.File(default_path, label="Map File (NB/CWB/PZC)", file_types=[".map"])
+                sub_file_input = gr.File(label="Sub Map File (optional)", file_types=[".map"])
             code_dropdown = gr.Dropdown(choices=["NB", "CWB", "PZC"], value="NB", label="Series")
             labels_checkbox = gr.Checkbox(True, label="Labels")
             labels_size_threshold_number = gr.Number(0, label="Label Size Threshold", info="1 => Tactical, 2 => Normal, 3 => Important")
@@ -85,7 +88,6 @@ with gr.Blocks(analytics_enabled=False) as demo:
             with gr.Row():
                 road_offset_number = gr.Number(0.3, label="Road Offset")
                 elevation_scale_number = gr.Number(0.1, label="Elevation Scale")
-            plot_button = gr.Button("Plot")
         with gr.Column(scale=2):
             output_plot = gr.Plot()
     
@@ -95,6 +97,14 @@ with gr.Blocks(analytics_enabled=False) as demo:
 
         code = data[code_dropdown]
         map_file = JTS.JTSParser.FromCode(code).ParseMap(map_str, False)
+
+        if data[sub_file_input]:
+            with open(data[sub_file_input].name) as f:
+                sub_map_str = f.read()
+            sub_map_file = JTS.SubMapFile()
+            sub_map_file.Extract(sub_map_str)
+            sub_map_file.ApplyTo(map_file)
+
         network = JTS.HexNetwork.FromMapFile(map_file)
         
         height_mat = np.empty([map_file.Height, map_file.Width])
@@ -191,7 +201,7 @@ with gr.Blocks(analytics_enabled=False) as demo:
 
         return {output_plot: fig}
 
-    plot_button.click(plot, {file_input, code_dropdown,
+    plot_button.click(plot, {file_input, sub_file_input, code_dropdown,
                              labels_checkbox, labels_size_threshold_number, 
                              path_checkbox, road_checkbox, pike_checkbox, railway_checkbox,
                              elevation_scale_number, road_offset_number}, {output_plot})