From d4143454b1b8a29e9755d3f3bb7285b48e513832 Mon Sep 17 00:00:00 2001 From: mfranz Date: Thu, 3 May 2007 21:22:13 +0000 Subject: [PATCH] property browser: dumped data aren't XML anymore --- Docs/README.gui | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/Docs/README.gui b/Docs/README.gui index d91505997..1a1133489 100644 --- a/Docs/README.gui +++ b/Docs/README.gui @@ -387,7 +387,7 @@ Ctrl + (bool) -> toggle bool value Shift + - "." -> dump contents of that tree level as XML to the terminal + "." -> dump contents of that tree level to the terminal The flags printed after the node type have the following meaning: