typeNames[Clipboard::JpegGraphicsType] = _("JPEG");
// find unused filename with primary extension
- string document_path = cur.buffer().fileName().onlyPath().absFilename();
+ string document_path = cur.buffer()->fileName().onlyPath().absFilename();
unsigned newfile_number = 0;
FileName filename;
do {
}
+bool GuiClipboard::hasTextContents() const
+{
+ QMimeData const * const source =
+ qApp->clipboard()->mimeData(QClipboard::Clipboard);
+ return source && source->hasText();
+}
+
+
bool GuiClipboard::hasGraphicsContents(Clipboard::GraphicsType type) const
{
if (type == AnyGraphicsType) {
} // namespace frontend
} // namespace lyx
-#include "GuiClipboard_moc.cpp"
+#include "moc_GuiClipboard.cpp"