#include "support/FileName.h"
#include "support/gettext.h"
+#include <QDesktopServices>
#include <QTextBrowser>
#include <QSyntaxHighlighter>
+#include <QUrl>
#include <QClipboard>
#include <fstream>
}
+void GuiLog::on_openDirPB_clicked()
+{
+ support::FileName dir = logfile_.onlyPath();
+ if (!dir.exists())
+ return;
+ QUrl qdir(toqstr(from_utf8("file://" + dir.absFileName())),
+ QUrl::StrictMode);
+ // Give hints in case of bugs
+ if (!qdir.isValid()) {
+ LYXERR0("QUrl is invalid!");
+ return;
+ }
+ if (!QDesktopServices::openUrl(qdir))
+ LYXERR0("Unable to open QUrl even though dir exists!");
+}
+
+
void GuiLog::goTo(QRegExp const & exp) const
{
QTextCursor const newc =
void on_nextErrorPB_clicked();
/// jump to next warning
void on_nextWarningPB_clicked();
+ /// open containing directory
+ void on_openDirPB_clicked();
/// Log type changed
void typeChanged(int);
+<?xml version="1.0" encoding="UTF-8"?>
<ui version="4.0" >
<class>LogUi</class>
<widget class="QDialog" name="LogUi" >
</spacer>
</item>
<item row="4" column="0" colspan="2" >
- <widget class="QPushButton" name="copyPB" >
+ <widget class="QPushButton" name="openDirPB" >
<property name="text" >
- <string>Copy to Clip&board</string>
+ <string>&Open Containing Directory</string>
</property>
</widget>
</item>