forked from qt-creator/qt-creator
Editor: Bookmark when Shift-clicking the gutter
Task-number: QTCREATORBUG-2852 Change-Id: If539f812bce76c1c1e7b63e7133e2a7c962990ea Reviewed-by: Eike Ziller <eike.ziller@nokia.com>
This commit is contained in:
committed by
Eike Ziller
parent
d4a881e6ee
commit
67ab31c224
@@ -153,10 +153,15 @@ public:
|
||||
static QMap<QString, QString> openedTextEditorsContents();
|
||||
static QMap<QString, QTextCodec *> openedTextEditorsEncodings();
|
||||
|
||||
enum MarkRequestKind {
|
||||
BreakpointRequest,
|
||||
BookmarkRequest
|
||||
};
|
||||
|
||||
signals:
|
||||
void contentsChanged();
|
||||
void contentsChangedBecauseOfUndo();
|
||||
void markRequested(TextEditor::ITextEditor *editor, int line);
|
||||
void markRequested(TextEditor::ITextEditor *editor, int line, TextEditor::ITextEditor::MarkRequestKind kind);
|
||||
void markContextMenuRequested(TextEditor::ITextEditor *editor, int line, QMenu *menu);
|
||||
void tooltipOverrideRequested(TextEditor::ITextEditor *editor, const QPoint &globalPos, int position, bool *handled);
|
||||
void tooltipRequested(TextEditor::ITextEditor *editor, const QPoint &globalPos, int position);
|
||||
|
||||
Reference in New Issue
Block a user