AVATAR: Slight update on graphical interface

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

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);

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");