This a very simple PR, addressing the layout manager used in the Mastodon's main window.
Currently GridBagLayout is used to arrange all the buttons. This works very nicely, but the code is a little complicated. The code becomes simpler if MigLayout is used instead. The layout remains the same.
This a very simple PR, addressing the layout manager used in the Mastodon's main window.
Currently
GridBagLayout
is used to arrange all the buttons. This works very nicely, but the code is a little complicated. The code becomes simpler ifMigLayout
is used instead. The layout remains the same.