From 2ac2171bcb4c530ad30c12737c3afe7e9f775dce Mon Sep 17 00:00:00 2001 From: Ludovic Apvrille <ludovic.apvrille@telecom-paristech.fr> Date: Tue, 18 Jan 2011 09:19:04 +0000 Subject: [PATCH] AVATAR: Slight update on graphical interface --- src/ui/CheckableAccessibility.java | 6 +++--- src/ui/avatarbd/AvatarBDDataType.java | 1 - src/ui/window/JDialogAvatarTransition.java | 18 +++++++++--------- 3 files changed, 12 insertions(+), 13 deletions(-) diff --git a/src/ui/CheckableAccessibility.java b/src/ui/CheckableAccessibility.java index 452d82c071..37b37430e0 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 394addbb62..eb118092fc 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 1912db95ae..a72f4f6ec7 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"); -- GitLab