Project

General

Profile

« Previous | Next » 

Revision abbbb46c

Added by Andreas Kohlbecker over 7 years ago

disabling SuperDev mode which is now on by default

View differences:

src/main/java/eu/etaxonomy/cdm/vaadin/AppWidgetSet.gwt.xml
22 22 
    <!-- <set-property name="user.agent" value="safari"/> -->
23 23 

  		




  24
  24
  
    
    <!--


  		




  25
  
  
    
     To enable SuperDevMode, uncomment this line.


  		




  26
  
  
    

  		




  27
  
  
    
     See https://vaadin.com/wiki/-/wiki/Main/Using%20SuperDevMode for more


  		




  28
  
  
    
     information and instructions.


  		




  29
  
  
    
    -->


  		




  30
  
  
    
    <!-- <set-configuration-property name="devModeRedirectEnabled" value="true" /> -->


  		




  31
  
  
    

  		




  32
  
  
    

  		




  
  25
  
    
     SuperDev mode is enabled default starting with GWT 2.6.0


  		




  33
  26
  
    
    


  		




  
  27
  
    
     For more information and instructions see:


  		




  
  28
  
    
     https://vaadin.com/wiki/-/wiki/Main/Using%20SuperDevMode 


  		




  
  29
  
    
    -->


  		




  
  30
  
    
    <set-configuration-property name="devModeRedirectEnabled" value="false" />


  		




  34
  31
  
    

  		




  35
  32
  
    
    <inherits name="org.vaadin.peter.contextmenu.ContextmenuWidgetset" />


  		




  36
  33
  
    
</module>


  		












Also available in:  Unified diff