Ignore:
Timestamp:
2009-01-01T18:55:45+01:00 (16 years ago)
Author:
stoecker
Message:

removed tab stop usage

Location:
applications/editors/josm/plugins/openlayers/resources
Files:
2 edited

Legend:

Unmodified
Added
Removed
  • applications/editors/josm/plugins/openlayers/resources/ehcache.xml

    r8748 r12780  
    55    ==========================
    66    An ehcache.xml corresponds to a single CacheManager.
    7    
     7
    88    See instructions below or the ehcache schema (ehcache.xsd) on how to configure.
    99
     
    170170    Sets the maximum number of objects that will be created in memory
    171171
    172         maxElementsOnDisk:
     172    maxElementsOnDisk:
    173173    Sets the maximum number of objects that will be maintained in the DiskStore
    174         The default value is zero, meaning unlimited.
     174    The default value is zero, meaning unlimited.
    175175
    176176    eternal:
     
    211211    Each spool buffer is used only by its cache. If you get OutOfMemory errors consider
    212212    lowering this value. To improve DiskStore performance consider increasing it. Trace level
    213     logging in the DiskStore will show if put back ups are occurring. 
     213    logging in the DiskStore will show if put back ups are occurring.
    214214
    215215    memoryStoreEvictionPolicy:
     
    468468    </cache>
    469469
    470    
     470
    471471
    472472
  • applications/editors/josm/plugins/openlayers/resources/yahoo.html

    r8748 r12780  
    11<html xmlns="http://www.w3.org/1999/xhtml">
    22  <head>
    3         <!-- The map can not be set to 100%. It hangs -->
     3    <!-- The map can not be set to 100%. It hangs -->
    44    <style type="text/css">
    55        #map {
     
    1111    <script type="text/javascript" src="http://www.openlayers.org/api/OpenLayers.js"></script>
    1212    <script type="text/javascript">
    13         // There seems to be a problem with this function and the Java JS engine, as the computed style 
    14         // does not have the function getPropertyValue.
    15                 OpenLayers.Element.getStyle =  function(element, style) {
    16                 element = OpenLayers.Util.getElement(element);
    17                 var value = element.style[OpenLayers.String.camelize(style)];
    18                 if (!value) {
    19                     if (document.defaultView && 
    20                         document.defaultView.getComputedStyle && false) {
    21                        
    22                         var css = document.defaultView.getComputedStyle(element, null);
    23                         value = css ? css.getPropertyValue(style) : null;
    24                     } else if (element.currentStyle) {
    25                         value = element.currentStyle[OpenLayers.String.camelize(style)];
    26                     }
    27                 }
    28            
    29                 var positions = ['left', 'top', 'right', 'bottom'];
    30                 if (window.opera &&
    31                     (OpenLayers.Util.indexOf(positions,style) != -1) &&
    32                     (OpenLayers.Element.getStyle(element, 'position') == 'static')) { 
    33                     value = 'auto';
    34                 }
    35            
    36                 return value == 'auto' ? null : value;
    37             }
     13        // There seems to be a problem with this function and the Java JS engine, as the computed style
     14        // does not have the function getPropertyValue.
     15        OpenLayers.Element.getStyle =  function(element, style) {
     16            element = OpenLayers.Util.getElement(element);
     17            var value = element.style[OpenLayers.String.camelize(style)];
     18            if (!value) {
     19                if (document.defaultView &&
     20                    document.defaultView.getComputedStyle && false) {
     21
     22                    var css = document.defaultView.getComputedStyle(element, null);
     23                    value = css ? css.getPropertyValue(style) : null;
     24                } else if (element.currentStyle) {
     25                    value = element.currentStyle[OpenLayers.String.camelize(style)];
     26                }
     27            }
     28
     29            var positions = ['left', 'top', 'right', 'bottom'];
     30            if (window.opera &&
     31                (OpenLayers.Util.indexOf(positions,style) != -1) &&
     32                (OpenLayers.Element.getStyle(element, 'position') == 'static')) {
     33                value = 'auto';
     34            }
     35
     36            return value == 'auto' ? null : value;
     37        }
    3838    </script>
    3939    <script type="text/javascript">
     
    5656            var mapDiv = document.getElementById("map");
    5757            if( !mapDiv ) return;
    58            
     58
    5959            mapDiv.style.width = width;
    6060            mapDiv.style.height = height;
    61            
     61
    6262            if( map )
    6363                map.updateSize();
    6464        }
    65        
     65
    6666        function zoomMapToExtent(left, bottom, right, top)
    6767        {
    6868            if( !map ) return;
    69            
     69
    7070            map.zoomToExtent( new OpenLayers.Bounds(left, bottom, right, top) );
    7171            var extent = map.getExtent();
     
    7878    </script>
    7979  </head>
    80  
     80
    8181  <body onload="init()" style="overflow:hidden; margin: 0; padding: 0;">
    8282    <div id="overlay" style="background:white;opacity:0.5;z-index:10;">
Note: See TracChangeset for help on using the changeset viewer.