From 08f25e6bf61122058049a400f991a0c3e1534d1e Mon Sep 17 00:00:00 2001
From: Brian Potchik <brian@vector35.com>
Date: Wed, 1 May 2019 22:25:23 -0400
Subject: DockWidget interface updates to better support UI plugins.

---
 ui/xreflist.h | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

(limited to 'ui/xreflist.h')

diff --git a/ui/xreflist.h b/ui/xreflist.h
index 63faf21a..148161e0 100644
--- a/ui/xreflist.h
+++ b/ui/xreflist.h
@@ -71,8 +71,8 @@ protected:
 	virtual void keyPressEvent(QKeyEvent* e) override;
 	virtual void mouseMoveEvent(QMouseEvent* e) override;
 	virtual void mousePressEvent(QMouseEvent* e) override;
+	virtual void notifyFontChanged() override;
 	virtual bool shouldBeVisible(ViewFrame* frame) override;
-	virtual void updateFonts() override;
 	virtual void wheelEvent(QWheelEvent* e) override;
 	void goToReference(const QModelIndex& idx);
 
-- 
cgit v1.3.1