/* Class = "NSWindow"; title = "Window"; ObjectID = "5"; */
"Window" = "Window";

/* Class = "NSButton"; gToolTip = "Update Style"; ObjectID = "8"; */
"Update Style" = "Aggiorna stile";

/* Class = "NSButton"; gToolTip = "New Style"; ObjectID = "12"; */
"New Style" = "Nuovo stile";

/* Class = "NSButton"; gToolTip = "Revert Style"; ObjectID = "13"; */
"Revert Style" = "Ripristina stile";

/* Class = "NSMenuItem"; title = "New Style"; ObjectID = "81"; */
"New Style" = "Nuovo stile";

/* Class = "NSMenuItem"; title = "Revert Style"; ObjectID = "82"; */
"Revert Style" = "Ripristina stile";

/* Class = "NSMenuItem"; title = "Update Style"; ObjectID = "83"; */
"Update Style" = "Aggiorna stile";

/* Class = "NSMenuItem"; title = "Show Pages and Styles"; ObjectID = "85"; */
"Show Pages and Styles" = "Mostra pagine e stili";

