Revision 15286
| import/ext3D/trunk/ext3D/build.number | ||
|---|---|---|
| 1 | 1 |
#Build Number for ANT. Do not edit! |
| 2 |
#Thu Mar 15 09:01:16 CET 2007 |
|
| 3 |
build.number=2 |
|
| 2 |
#Tue Apr 03 15:50:56 CEST 2007 |
|
| 3 |
build.number=19 |
|
| import/ext3D/trunk/ext3D/src/com/iver/ai2/gvsig3d/gui/VectorLayerMenu.java | ||
|---|---|---|
| 124 | 124 |
// Introducing the margin |
| 125 | 125 |
this.setSize(new Dimension(width, height)); |
| 126 | 126 |
// Dimension of the panel only for java 1.5 |
| 127 |
this.setPreferredSize(new Dimension(width, height)); |
|
| 127 |
//this.setPreferredSize(new Dimension(width, height));
|
|
| 128 | 128 |
this.setResizable(false); |
| 129 | 129 |
|
| 130 | 130 |
JFrame a = (JFrame)PluginServices.getMainFrame(); |
| import/ext3D/trunk/ext3D/.settings/org.eclipse.jdt.core.prefs | ||
|---|---|---|
| 1 |
#Thu Feb 22 13:10:50 CET 2007 |
|
| 2 |
eclipse.preferences.version=1 |
|
| 3 |
org.eclipse.jdt.core.compiler.codegen.inlineJsrBytecode=enabled |
|
| 4 |
org.eclipse.jdt.core.compiler.codegen.targetPlatform=1.5 |
|
| 5 |
org.eclipse.jdt.core.compiler.codegen.unusedLocal=preserve |
|
| 6 |
org.eclipse.jdt.core.compiler.compliance=1.5 |
|
| 7 |
org.eclipse.jdt.core.compiler.debug.lineNumber=generate |
|
| 8 |
org.eclipse.jdt.core.compiler.debug.localVariable=generate |
|
| 9 |
org.eclipse.jdt.core.compiler.debug.sourceFile=generate |
|
| 10 |
org.eclipse.jdt.core.compiler.problem.assertIdentifier=error |
|
| 11 |
org.eclipse.jdt.core.compiler.problem.enumIdentifier=error |
|
| 12 |
org.eclipse.jdt.core.compiler.source=1.5 |
|
Also available in: Unified diff