Fixed: #1622 Slow scrolling (search results, advanced settings and others)

This commit is contained in:
Jindra Petřík
2021-02-27 09:28:10 +01:00
parent a597625239
commit b08567de7a
31 changed files with 116 additions and 56 deletions

View File

@@ -35,7 +35,7 @@ public class DocsPanel extends JPanel implements DocsListener {
public DocsPanel() {
setLayout(new BorderLayout(0, 0));
JScrollPane sp = new JScrollPane(textDisplay);
JScrollPane sp = new FasterScrollPane(textDisplay);
textDisplay.setMargin(new Insets(0, 0, 0, 0));
add(sp, BorderLayout.CENTER);