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/FixedWidthPanel.java | |
| download | worldsplayer-c7a9d4a6bd53ed7d61731770f2f10e8b9fd435f9.tar.xz worldsplayer-c7a9d4a6bd53ed7d61731770f2f10e8b9fd435f9.zip | |
Initial commit
Diffstat (limited to 'NET/worlds/console/FixedWidthPanel.java')
| -rw-r--r-- | NET/worlds/console/FixedWidthPanel.java | 22 |
1 files changed, 22 insertions, 0 deletions
diff --git a/NET/worlds/console/FixedWidthPanel.java b/NET/worlds/console/FixedWidthPanel.java new file mode 100644 index 0000000..d97e122 --- /dev/null +++ b/NET/worlds/console/FixedWidthPanel.java @@ -0,0 +1,22 @@ +package NET.worlds.console; + +import java.awt.Dimension; +import java.awt.LayoutManager; +import java.awt.Panel; + +class FixedWidthPanel extends Panel { + private static final long serialVersionUID = 1256222162739133960L; + private int width; + + public FixedWidthPanel(LayoutManager layout, int width) { + super(layout); + this.width = width; + } + + @Override + public Dimension preferredSize() { + Dimension d = super.preferredSize(); + d.width = this.width; + return d; + } +} |