← Back to branch summary

~ubuntu-branches/ubuntu/oneiric/electric/oneiric

« back to all changes in this revision

Viewing changes to com/sun/electric/database/variable/EditWindow0.java

  • Committer: Bazaar Package Importer
  • Author(s): Onkar Shinde
  • Date: 2010-01-09 16:26:04 UTC
  • mfrom: (1.1.4 upstream) (3.1.6 sid)
  • Revision ID: james.westby@ubuntu.com-20100109162604-1ypvmy8ijmlc6oq7
Tags: 8.10-1
* New upstream version.
* debian/control
  - Add libjava3d-java and quilt build dependencies.
  - Update standards version to 3.8.3.
  - Add libjava3d-java as recommends to binary package.
* debian/rules
  - Use quilt patch system instead of simple patchsys.
  - Add java3d related jar files to DEB_JARS.
* debian/patches/*
  - Update as per current upstream source. Convert to quilt.
* debian/ant.properties
  - Do not disable 3D plugin anymore.
  - Use new property to disable compilation of OS X related classes.
* debian/wrappers/electric
  - Add java3d related jar files to runtime classpath.
* debian/README.source
  - Change text to the appropriate one for quilt.

Show diffs side-by-side

added added

removed removed

Lines of Context:
com/sun/electric/database/variable/EditWindow0.java
23
23
 */
24
24
package com.sun.electric.database.variable;
25
25
 
 
26
import java.io.Serializable;
 
27
 
26
28
/**
27
29
 * This interface gives a limited access to EditWindow necessary
28
30
 * for calculating a shape of some primitives.
29
31
 */
30
32
public interface EditWindow0 {
 
33
 
31
34
    /**
32
35
     * Get the window's VarContext
33
36
     * @return the current VarContext
34
37
     */
35
38
    public VarContext getVarContext();
36
 
    
37
 
        /**
38
 
         * Method to return the scale factor for this window.
39
 
         * @return the scale factor for this window.
40
 
         */
41
 
        public double getScale();
42
 
    
43
 
        /**
44
 
         * Method to return the text scale factor for this window.
45
 
         * @return the text scale factor for this window.
46
 
         */
47
 
        public double getGlobalTextScale();
 
39
 
 
40
    /**
 
41
     * Method to return the scale factor for this window.
 
42
     * @return the scale factor for this window.
 
43
     */
 
44
    public double getScale();
 
45
 
 
46
    /**
 
47
     * Method to return the text scale factor for this window.
 
48
     * @return the text scale factor for this window.
 
49
     */
 
50
    public double getGlobalTextScale();
 
51
 
 
52
    /**
 
53
     * Method to return the default font for this window.
 
54
     * @return the default font for this window.
 
55
     */
 
56
    public String getDefaultFont();
 
57
 
 
58
    /**
 
59
     * Class to encapsulate the minimal EditWindow0 data needed to pass into Jobs.
 
60
     */
 
61
    public static class EditWindowSmall implements EditWindow0, Serializable
 
62
    {
 
63
 
 
64
        private VarContext context;
 
65
        private double scale;
 
66
        private double globalScale;
 
67
        private String defaultFont;
 
68
 
 
69
        public EditWindowSmall(EditWindow_ wnd)
 
70
        {
 
71
            context = wnd.getVarContext();
 
72
            scale = wnd.getScale();
 
73
            globalScale = wnd.getGlobalTextScale();
 
74
            defaultFont = wnd.getDefaultFont();
 
75
        }
 
76
 
 
77
        /**
 
78
         * Get the window's VarContext
 
79
         * @return the current VarContext
 
80
         */
 
81
        public VarContext getVarContext() { return context; }
 
82
 
 
83
        /**
 
84
         * Method to return the scale factor for this window.
 
85
         * @return the scale factor for this window.
 
86
         */
 
87
        public double getScale() { return scale; }
 
88
 
 
89
        /**
 
90
         * Method to return the text scale factor for this window.
 
91
         * @return the text scale factor for this window.
 
92
         */
 
93
        public double getGlobalTextScale() { return globalScale; }
 
94
 
 
95
        /**
 
96
         * Method to return the default font for this window.
 
97
         * @return the default font for this window.
 
98
         */
 
99
        public String getDefaultFont() { return defaultFont; }
 
100
    }
48
101
}