diff options
| author | Fuwn <[email protected]> | 2026-02-12 22:33:32 -0800 |
|---|---|---|
| committer | Fuwn <[email protected]> | 2026-02-12 22:33:32 -0800 |
| commit | c7a9d4a6bd53ed7d61731770f2f10e8b9fd435f9 (patch) | |
| tree | df9f48bf128a6c0186a8e91857d6ff30fe0e9f18 /NET/worlds/console/WideScrollPane.java | |
| download | worldsplayer-c7a9d4a6bd53ed7d61731770f2f10e8b9fd435f9.tar.xz worldsplayer-c7a9d4a6bd53ed7d61731770f2f10e8b9fd435f9.zip | |
Initial commit
Diffstat (limited to 'NET/worlds/console/WideScrollPane.java')
| -rw-r--r-- | NET/worlds/console/WideScrollPane.java | 32 |
1 files changed, 32 insertions, 0 deletions
diff --git a/NET/worlds/console/WideScrollPane.java b/NET/worlds/console/WideScrollPane.java new file mode 100644 index 0000000..01a14b7 --- /dev/null +++ b/NET/worlds/console/WideScrollPane.java @@ -0,0 +1,32 @@ +package NET.worlds.console; + +import java.awt.Dimension; +import java.awt.Panel; +import java.awt.ScrollPane; + +class WideScrollPane extends ScrollPane { + private static final long serialVersionUID = -7035034239249038255L; + Panel p; + + public WideScrollPane(Panel p, boolean asNeeded) { + super(asNeeded ? 0 : 1); + this.p = p; + this.add(p); + } + + @Override + public Dimension preferredSize() { + Dimension d = this.p.preferredSize(); + d.width += 5; + d.height += 5; + return d; + } + + @Override + public Dimension minimumSize() { + Dimension d = this.p.minimumSize(); + d.width += 5; + d.height += 5; + return d; + } +} |