update ui

app.py

@@ -92,7 +92,12 @@ def create_ui():
         with gr.Row():
             # Text display area
             left_text = gr.TextArea(label="Description", interactive=False, elem_classes=["text-display"])
-            right_text = gr.TextArea(label="PDDL Domain", interactive=False, elem_classes=["text-display"])
+            right_text = gr.Code(
+                label="PDDL Domain", 
+                language="lisp",  # PDDL使用类似LISP的语法
+                interactive=False, 
+                elem_classes=["text-display"]
+            )
         
         # Initialize display
         initial_data = viewer.get_current_item()