Lines Matching refs:empty
67 if (!fUndoHistory.empty()) {
91 if (!fRedoHistory.empty()) {
113 if (!fUndoHistory.empty()) {
129 if (!fRedoHistory.empty()) {
144 while (!fUndoHistory.empty()) {
148 while (!fRedoHistory.empty()) {
163 if (!fUndoHistory.empty())
177 saved = fUndoHistory.empty();
196 if (!fUndoHistory.empty()) {
238 // the redo stack needs to be empty
240 while (!fRedoHistory.empty()) {