
/* Class = "NSScrollView"; ibShadowedToolTip = "List of available numbering styles"; ObjectID = "13"; */
"13.ibShadowedToolTip" = "List of available numbering styles";

/* Class = "NSButton"; ibShadowedToolTip = "Adds a new numbering style."; ObjectID = "241"; */
"241.ibShadowedToolTip" = "Adds a new numbering style.";

/* Class = "NSButton"; ibShadowedToolTip = "Removes selected numbering styles."; ObjectID = "242"; */
"242.ibShadowedToolTip" = "Removes selected numbering styles.";

/* Class = "NSMenuItem"; title = "Edit Numbering Style…"; ObjectID = "1X5-xe-muw"; */
"1X5-xe-muw.title" = "Edit Numbering Style…";

/* Class = "NSMenuItem"; title = "Duplicate Numbering Style"; ObjectID = "WaH-ml-rU4"; */
"WaH-ml-rU4.title" = "Duplicate Numbering Style";

/* Class = "NSTextFieldCell"; title = "Table View Cell"; ObjectID = "Z2D-Al-Fla"; */
"Z2D-Al-Fla.title" = "Table View Cell";

/* Class = "NSMenuItem"; title = "Rename Numbering Style"; ObjectID = "ZMR-Sz-f5a"; */
"ZMR-Sz-f5a.title" = "Rename Numbering Style";

/* Class = "NSMenuItem"; title = "Delete Numbering Style…"; ObjectID = "ZOn-qf-qu8"; */
"ZOn-qf-qu8.title" = "Delete Numbering Style…";
