[Gzz-commits] gzz/gzz/view DimDecorator.java LastOpDecorator....

[Benja Fallenstein]

CVSROOT:        /cvsroot/gzz
Module name:    gzz
Changes by:     Benja Fallenstein <address@hidden>      02/09/13 07:05:39

Modified files:
        gzz/view       : DimDecorator.java LastOpDecorator.java 

Log message:
        Improve other text's scaling, too

CVSWeb URLs:
http://savannah.gnu.org/cgi-bin/viewcvs/gzz/gzz/gzz/view/DimDecorator.java.diff?tr1=1.2&tr2=1.3&r1=text&r2=text
http://savannah.gnu.org/cgi-bin/viewcvs/gzz/gzz/gzz/view/LastOpDecorator.java.diff?tr1=1.3&tr2=1.4&r1=text&r2=text

Patches:
Index: gzz/gzz/view/DimDecorator.java
diff -c gzz/gzz/view/DimDecorator.java:1.2 gzz/gzz/view/DimDecorator.java:1.3
*** gzz/gzz/view/DimDecorator.java:1.2  Mon Aug 19 10:45:48 2002
--- gzz/gzz/view/DimDecorator.java      Fri Sep 13 07:05:39 2002
***************
*** 32,38 ****
   *  vob scene.
   */
  public class DimDecorator implements FallbackSceneDecorator {
! String rcsid = "$Id: DimDecorator.java,v 1.2 2002/08/19 14:45:48 tjl Exp $";
      public static boolean dbg = true;
      private static void p(String s) { if(dbg) pa(s); }
      private static void pa(String s) { System.err.println(s); }
--- 32,38 ----
   *  vob scene.
   */
  public class DimDecorator implements FallbackSceneDecorator {
! String rcsid = "$Id: DimDecorator.java,v 1.3 2002/09/13 11:05:39 benja Exp $";
      public static boolean dbg = true;
      private static void p(String s) { if(dbg) pa(s); }
      private static void pa(String s) { System.err.println(s); }
***************
*** 72,78 ****
        for(int i=0; i<3; i++) {
            sc.map.put(conn, targ[i], orig);
            sc.map.put(bg, targ[i]);
!           sc.map.put(new TextVob(style, dims[i].name), targ[i]);
        }
  
          View view = fallback.viewList[win.viewIndex];
--- 72,81 ----
        for(int i=0; i<3; i++) {
            sc.map.put(conn, targ[i], orig);
            sc.map.put(bg, targ[i]);
!           int cs = sc.coords.coordsys(targ[i], dimKeys[i], 0, 0, 0,
!                                       style.getWidth(dims[i].name, 1),
!                                       style.getHeight(1));
!           sc.map.put(new TextVob(style, dims[i].name), cs);
        }
  
          View view = fallback.viewList[win.viewIndex];
Index: gzz/gzz/view/LastOpDecorator.java
diff -c gzz/gzz/view/LastOpDecorator.java:1.3 
gzz/gzz/view/LastOpDecorator.java:1.4
*** gzz/gzz/view/LastOpDecorator.java:1.3       Wed Aug 21 02:18:35 2002
--- gzz/gzz/view/LastOpDecorator.java   Fri Sep 13 07:05:39 2002
***************
*** 32,38 ****
   *  directional op entered.
   */
  public class LastOpDecorator implements FallbackSceneDecorator {
! String rcsid = "$Id: LastOpDecorator.java,v 1.3 2002/08/21 06:18:35 tjl Exp 
$";
      public static boolean dbg = false;
      private static void pa(String s) { System.err.println(s); }
  
--- 32,38 ----
   *  directional op entered.
   */
  public class LastOpDecorator implements FallbackSceneDecorator {
! String rcsid = "$Id: LastOpDecorator.java,v 1.4 2002/09/13 11:05:39 benja Exp 
$";
      public static boolean dbg = false;
      private static void pa(String s) { System.err.println(s); }
  
***************
*** 76,83 ****
              s = "Search for: " + fallback.binder.buffer;
          else return;
  
!       int w = size.width - padding;
!       int h = (int)style.getHeight(1.0f) + 10;
  
        int x = padding;
        int y = size.height - padding - h;
--- 76,83 ----
              s = "Search for: " + fallback.binder.buffer;
          else return;
  
!       int w = (int)style.getWidth(s, 1.0f);
!       int h = (int)style.getHeight(1.0f);
  
        int x = padding;
        int y = size.height - padding - h;