comparison: src/document.cc
src/document.cc
- changeset 590
- 7aec744ce97b
- parent 588
- 720f7480c6b7
- child 600
- 209e3f1f7b2c
equal
deleted
inserted
replaced
| 589:1417828920e6 | 590:7aec744ce97b |
|---|---|
| 542 } | 542 } |
| 543 | 543 |
| 544 // ============================================================================= | 544 // ============================================================================= |
| 545 // ----------------------------------------------------------------------------- | 545 // ----------------------------------------------------------------------------- |
| 546 void addRecentFile (str path) | 546 void addRecentFile (str path) |
| 547 { auto& rfiles = io_recentfiles.value; | 547 { auto& rfiles = io_recentfiles; |
| 548 int idx = rfiles.indexOf (path); | 548 int idx = rfiles.indexOf (path); |
| 549 | 549 |
| 550 // If this file already is in the list, pop it out. | 550 // If this file already is in the list, pop it out. |
| 551 if (idx != -1) | 551 if (idx != -1) |
| 552 { if (rfiles.size() == 1) | 552 { if (rfiles.size() == 1) |
