diff --git a/src/ui/CheckableAccessibility.java b/src/ui/CheckableAccessibility.java index 452d82c0715ca737acb5061fb55de64f33357a15..37b37430e00bf6b08a84a04ec82420a215c59a50 100755 --- a/src/ui/CheckableAccessibility.java +++ b/src/ui/CheckableAccessibility.java @@ -48,12 +48,12 @@ knowledge of the CeCILL license and that you accept its terms. package ui; public interface CheckableAccessibility { - public static final int UNKNOWN; - public static final int NON_REACHABLE; + //public static final int UNKNOWN; + //public static final int NON_REACHABLE; public void setCheckableAccessibility(boolean b); public boolean getCheckableAccessibility(); - public void setReachability( + //public void setReachability(); } \ No newline at end of file diff --git a/src/ui/avatarbd/AvatarBDDataType.java b/src/ui/avatarbd/AvatarBDDataType.java index 394addbb62ee334adaa17e4b9138ab3796821497..eb118092fc09edc0b93a2deacf45378525c9ab77 100644 --- a/src/ui/avatarbd/AvatarBDDataType.java +++ b/src/ui/avatarbd/AvatarBDDataType.java @@ -346,7 +346,6 @@ public class AvatarBDDataType extends TGCScalableWithInternalComponent { protected void setJDialogOptions(JDialogAvatarBlock _jdab) { //jda.addAccess(TAttribute.getStringAccess(TAttribute.PUBLIC)); _jdab.addAccess(TAttribute.getStringAccess(TAttribute.PRIVATE)); - _jdab.addType(TAttribute.getStringType(TAttribute.NATURAL), true); _jdab.addType(TAttribute.getStringType(TAttribute.BOOLEAN), true); _jdab.addType(TAttribute.getStringType(TAttribute.INTEGER), true); _jdab.enableInitialValue(true); diff --git a/src/ui/window/JDialogAvatarTransition.java b/src/ui/window/JDialogAvatarTransition.java index 1912db95ae7d5c93ebdd8e522263dfdeec448a5b..a72f4f6ec766c841b69ddf73c90fdc9ac3105375 100755 --- a/src/ui/window/JDialogAvatarTransition.java +++ b/src/ui/window/JDialogAvatarTransition.java @@ -155,15 +155,15 @@ public class JDialogAvatarTransition extends javax.swing.JDialog implements Acti panel1.add(guardT, c1); // After - c1.gridwidth = 5; - c1.gridheight = 5; - c1.weighty = 5.0; - c1.weightx = 5.0; + c1.gridwidth = 1; + c1.gridheight = 1; + c1.weighty = 1.0; + c1.weightx = 1.0; panel1.add(new JLabel("after ("), c1); - afterMinT = new JTextField(afterMin); + afterMinT = new JTextField(afterMin, 10); panel1.add(afterMinT, c1); panel1.add(new JLabel(","), c1); - afterMaxT = new JTextField(afterMax); + afterMaxT = new JTextField(afterMax, 10); panel1.add(afterMaxT, c1); c1.gridwidth = GridBagConstraints.REMAINDER; //end row panel1.add(new JLabel(")"), c1); @@ -174,10 +174,10 @@ public class JDialogAvatarTransition extends javax.swing.JDialog implements Acti c1.weighty = 1.0; c1.weightx = 1.0; panel1.add(new JLabel("compute for ("), c1); - computeMinT = new JTextField(computeMin); + computeMinT = new JTextField(computeMin, 10); panel1.add(computeMinT, c1); panel1.add(new JLabel(","), c1); - computeMaxT = new JTextField(computeMax); + computeMaxT = new JTextField(computeMax, 10); panel1.add(computeMaxT, c1); c1.gridwidth = GridBagConstraints.REMAINDER; //end row panel1.add(new JLabel(")"), c1); @@ -203,7 +203,7 @@ public class JDialogAvatarTransition extends javax.swing.JDialog implements Acti actionsT.setMargin(new Insets(10, 10, 10, 10)); actionsT.setTabSize(3); actionsT.setFont(new Font("times", Font.PLAIN, 12)); - actionsT.setPreferredSize(new Dimension(300, 250)); + actionsT.setPreferredSize(new Dimension(350, 250)); JScrollPane jsp = new JScrollPane(actionsT, JScrollPane.VERTICAL_SCROLLBAR_ALWAYS, JScrollPane.HORIZONTAL_SCROLLBAR_ALWAYS); for(int i=0; i<actions.size(); i++) { actionsT.append(actions.get(i) + "\n");