Lines Matching refs:empty
70 if (!fUndoHistory.empty()) {
90 if (!fRedoHistory.empty()) {
109 if (!fUndoHistory.empty()) {
121 if (!fRedoHistory.empty()) {
133 while (!fUndoHistory.empty())
135 while (!fRedoHistory.empty())
145 if (!fUndoHistory.empty())
155 bool saved = fUndoHistory.empty();
191 if (!fUndoHistory.empty()) {
221 // The redo stack needs to be empty
223 while (!fRedoHistory.empty()) {