Lines Matching refs:empty
70 if (!fUndoHistory.empty()) {
94 if (!fRedoHistory.empty()) {
116 if (!fUndoHistory.empty()) {
132 if (!fRedoHistory.empty()) {
147 while (!fUndoHistory.empty()) {
151 while (!fRedoHistory.empty()) {
166 if (!fUndoHistory.empty())
180 saved = fUndoHistory.empty();
199 if (!fUndoHistory.empty()) {
241 // the redo stack needs to be empty
243 while (!fRedoHistory.empty()) {