| 1284 | } |
| 1285 | |
| 1286 | void ContextBrowserPlugin::historyNext() |
| 1287 | { |
| 1288 | if (m_nextHistoryIndex >= m_history.size()) { |
| 1289 | return; |
| 1290 | } |
| 1291 | openDocument(m_nextHistoryIndex); // opening the document at given position |
| 1292 | // will update the widget for us |
| 1293 | ++m_nextHistoryIndex; |
| 1294 | updateButtonState(); |
| 1295 | } |
| 1296 | |
| 1297 | void ContextBrowserPlugin::openDocument(int historyIndex) |
| 1298 | { |