From da3f2eea7c0601b61209722fe897466afba5010c Mon Sep 17 00:00:00 2001 From: Matthias Clasen Date: Sat, 2 May 2015 10:12:54 -0400 Subject: [PATCH] gtk-builder-tool: Improve docs --- docs/reference/gtk/gtk-builder-tool.xml | 10 +++++++--- 1 file changed, 7 insertions(+), 3 deletions(-) diff --git a/docs/reference/gtk/gtk-builder-tool.xml b/docs/reference/gtk/gtk-builder-tool.xml index a06a0af3c3..f89c8e10e6 100644 --- a/docs/reference/gtk/gtk-builder-tool.xml +++ b/docs/reference/gtk/gtk-builder-tool.xml @@ -40,6 +40,10 @@ gtk-builder-tool can perform various operations on GtkBuilder .ui files. + + You should always test the modified .ui files produced by gtk-builder-tool + before using them in production. + Commands @@ -47,16 +51,16 @@ - Validate the .ui file and report errors to stderr. + Validates the .ui file and report errors to stderr. - Simplify the .ui file by removing properties that + Simplifies the .ui file by removing properties that are set to their default values and write the resulting XML to stdout. - List all the named objects that are created in the .ui file. + Lists all the named objects that are created in the .ui file.