- swap margins if orientation changes when floating
- include toolbar margin in grip position calculation
This commit is contained in:
Karl Tauber
2019-09-08 12:13:08 +02:00
parent c69e9e12c6
commit 7b1eda45cd
4 changed files with 32 additions and 5 deletions

View File

@@ -204,6 +204,7 @@ class DemoFrame
//======== toolBar1 ========
{
toolBar1.setMargin(new Insets(3, 3, 3, 3));
toolBar1.add(backButton);
toolBar1.add(forwardButton);
toolBar1.addSeparator();

View File

@@ -14,6 +14,7 @@ new FormModel {
"$sizePolicy": 2
add( new FormContainer( "javax.swing.JToolBar", new FormLayoutManager( class javax.swing.JToolBar ) ) {
name: "toolBar1"
"margin": new java.awt.Insets( 3, 3, 3, 3 )
add( new FormComponent( "javax.swing.JButton" ) {
name: "backButton"
} )