Merge pull request #1824 from H3rnand3zzz/feature/mouse-scroll

Smooth scrolling support (+mouse wheel scrolling in some terminals)
This commit is contained in:
Michael Vetter
2023-12-05 12:25:41 +01:00
committed by GitHub
5 changed files with 60 additions and 21 deletions

View File

@@ -81,6 +81,7 @@
#include "tools/bookmark_ignore.h"
#include "tools/editor.h"
#include "plugins/plugins.h"
#include "ui/inputwin.h"
#include "ui/ui.h"
#include "ui/window_list.h"
#include "xmpp/avatar.h"