Révision 2911

tmp/org.txm.setups/shared/debian/usr/bin/TXM (revision 2911)
185 185 
	ACTIVATEGTK3=0
186 186 
fi
187 187 

  		





  188
  
  
    
SWT_GTK3=$ACTIVATEGTK2 UBUNTU_MENUPROXY=0 exec "${TXMINSTALL}/launcher" "$@" -run --launcher.ini "$DOTTXMHOME/launcher.ini" $DEBUGOPTIONS -configuration "$DOTTXMHOME/configuration" -user "$DOTTXMHOME/user" -install "$TXMINSTALL"


  		





  
  188
  
    
SWT_GTK3=$ACTIVATEGTK3 UBUNTU_MENUPROXY=0 exec "${TXMINSTALL}/launcher" "$@" -run --launcher.ini "$DOTTXMHOME/launcher.ini" $DEBUGOPTIONS -configuration "$DOTTXMHOME/configuration" -user "$DOTTXMHOME/user" -install "$TXMINSTALL"


  		












Formats disponibles :
  Unified diff