Révision 1911

tmp/org.txm.rcp/src/main/java/org/txm/rcp/ApplicationWorkbenchAdvisor.java (revision 1911)
923 923 
	 * @return true, if successful
924 924 
	 * @throws Exception
925 925 
	 */
926 
	private boolean initializeUI(JobHandler jobHandler) throws Exception {
926 
	private boolean initializeUI(final JobHandler jobHandler) throws Exception {
927 927 

  		





  928
  928
  
    
		// Fix the freeze at splash screen on Mac OS X/Cocoa because of a deadlock between AWT/SWT threads (bug #894)


  		





  929
  929
  
    
		Display.getDefault().syncExec(new Runnable() {


  		





  930
  930
  
    
			@Override


  		





  931
  931
  
    
			public void run() {


  		





  932
  932
  
    
				try {


  		





  
  933
  
    
					printTXMVersion();


  		





  
  934
  
    
					


  		





  
  935
  
    
					jobHandler.setTaskName("Set default theme");


  		





  
  936
  
    
					setDefaultTheme();


  		





  
  937
  
    

  		





  
  938
  
    
					// CLOSE Empty&Error editors


  		





  
  939
  
    
					jobHandler.setTaskName("Closing empty editors");


  		





  
  940
  
    
					closeEmptyEditors();


  		





  
  941
  
    

  		





  
  942
  
    
					// remove some preference pages


  		





  
  943
  
    
					setPreferencesConfiguration(); 


  		





  
  944
  
    
					


  		





  933
  945
  
    
					new ProgressMonitorDialog(Display.getDefault().getActiveShell()).run(true, true, new IRunnableWithProgress() {


  		





  934
  946
  
    

  		





  935
  947
  
    
						@Override


  		





  ......




  965
  977
  
    
										installCorporaDirectory(monitor);


  		





  966
  978
  
    
									}


  		





  967
  979
  
    
									monitor.worked(20);


  		





  
  980
  
    
									jobHandler.setTaskName("Toolbox ready.");


  		





  968
  981
  
    
								} catch (Exception e) {


  		





  969
  982
  
    
									// TODO Auto-generated catch block


  		





  970
  983
  
    
									e.printStackTrace();


  		





  ......




  978
  991
  
    
					Log.fine(TXMUIMessages.loadingViews);


  		





  979
  992
  
    
					RestartTXM.reloadViews(); // reload views


  		





  980
  993
  
    

  		





  981
  
  
    
					setDefaultTheme();


  		





  982
  
  
    

  		





  983
  
  
    
					// CLOSE Empty&Error editors


  		





  984
  
  
    
					closeEmptyEditors();


  		





  985
  
  
    

  		





  986
  
  
    
					// remove some preference pages


  		





  987
  
  
    
					setPreferencesConfiguration(); 


  		





  988
  
  
    

  		





  989
  994
  
    
					


  		





  990
  
  
    
					


  		





  991
  995
  
    
				}


  		





  992
  996
  
    
				catch(Exception e) {


  		





  993
  997
  
    
					Log.severe(TXMCoreMessages.bind("Error during UI initialization: {0}.", e.getLocalizedMessage()));


  		












  

    
      tmp/org.txm.setups/index.html	(revision 1911)
    
  






  14
  14
  
    
</h1>


  		





  15
  15
  
    
<div style="background-image:url('index_files/TXM-background.jpg');background-repeat: no-repeat;background-position: right;">


  		





  16
  16
  
    

  		





  17
  
  
    
<p align="center">Version 3</p>


  		





  
  17
  
    
<p align="center">Version 4</p>


  		





  18
  18
  
    

  		





  19
  19
  
    
<table>


  		





  20
  
  
    
<tbody><tr><td><center><a href="TXM_0.8.0b3_Win64_installer.exe"><img src="index_files/windows-icon.png" width="125"><br>Windows 7 et plus (64 bit)</a></center></td>


  		





  21
  
  
    
<td><center><a href="TXM_0.8.0b3_Linux64_installer.deb"><img src="index_files/ubuntu-icon.png" width="125"><br>Ubuntu 16.04 et plus</a><br></center></td><td>


  		





  22
  
  
    
</td><td><center><a href="TXM_0.8.0b3_MacOSX_installer.pkg"><img src="index_files/macosx-icon.png" width="125"><br>Mac OS X 10.10 et plus</a><br></center></td><td>


  		





  
  20
  
    
<tbody><tr><td><center><a href="TXM_0.8.0b4_Win64_installer.exe"><img src="index_files/windows-icon.png" width="125"><br>Windows 7 et plus (64 bit)</a></center></td>


  		





  
  21
  
    
<td><center><a href="TXM_0.8.0b4_Linux64_installer.deb"><img src="index_files/ubuntu-icon.png" width="125"><br>Ubuntu 16.04 et plus</a><br></center></td><td>


  		





  
  22
  
    
</td><td><center><a href="TXM_0.8.0b4_MacOSX_installer.pkg"><img src="index_files/macosx-icon.png" width="125"><br>Mac OS X 10.10 et plus</a><br></center></td><td>


  		





  23
  23
  
    
</td></tr></tbody></table>


  		





  24
  24
  
    

  		





  25
  25
  
    

  		





  ......




  27
  27
  
    
<p>


  		





  28
  28
  
    
<!--


  		





  29
  29
  
    
b4&nbsp;<a href="TXM_0.8.0b4_Win64_installer.exe">Windows</a>&nbsp;<a href="TXM_0.8.0b4_Linux64_installer.deb">Ubuntu</a>&nbsp;<a href="TXM_0.8.0b4_MacOSX_installer.pkg">Mac OS X</a><br/>


  		





  
  30
  
    
-->


  		





  
  31
  
    
beta 3&nbsp;<a href="TXM_0.8.0b3_Win64_installer.exe">Windows</a> - <a href="TXM_0.8.0b3_Linux64_installer.deb">Ubuntu</a> - <a href="TXM_0.8.0b3_MacOSX_installer.pkg">Mac OS X</a><br/>


  		





  30
  32
  
    

  		





  31
  
  
    
b3&nbsp;<a href="TXM_0.8.0b3_Win64_installer.exe">Windows</a>&nbsp;<a href="TXM_0.8.0b3_Linux64_installer.deb">Ubuntu</a>&nbsp;<a href="TXM_0.8.0b3_MacOSX_installer.pkg">Mac OS X</a><br/>


  		





  32
  
  
    
-->


  		





  33
  33
  
    
beta 2&nbsp;<a href="TXM_0.8.0b2_Win64_installer.exe">Windows</a> - <a href="TXM_0.8.0b2_Linux64_installer.deb">Ubuntu</a> - <a href="TXM_0.8.0b2_MacOSX_installer.pkg">Mac OS X</a><br/>


  		





  34
  34
  
    

  		





  35
  35
  
    
beta 1&nbsp;<a href="TXM_0.8.0b1_Win64_installer.exe">Windows</a> - <a href="TXM_0.8.0b1_Linux64_installer.deb">Ubuntu</a> - <a href="TXM_0.8.0b1_MacOSX_installer.pkg">Mac OS X</a><br/>


  		












  

    
      tmp/org.txm.rcp.feature/win/TXM.bat	(revision 1911)
    
  






  25
  25
  
    

  		





  26
  26
  
    
:USERHOMEOK


  		





  27
  27
  
    

  		





  28
  
  
    
set TXMHOME="%USERHOME%TXM-%VERSION%\"


  		





  29
  
  
    
set DOTTXM="%USERHOME%.TXM-%VERSION%\"


  		





  
  28
  
    
set TXMHOME=%USERHOME%TXM-%VERSION%\


  		





  
  29
  
    
set DOTTXM=%USERHOME%.TXM-%VERSION%\


  		





  30
  30
  
    

  		





  31
  31
  
    
mkdir "%TXMHOME%" 


  		





  32
  32
  
    

  		












  

    
      tmp/org.txm.core/src/java/org/txm/Toolbox.java	(revision 1911)
    
  






  295
  295
  
    
		if (workspace != null) {


  		





  296
  296
  
    
			if (monitor != null) {


  		





  297
  297
  
    
				monitor.setTaskName("Initializing corpora...");


  		





  
  298
  
    
				monitor.subTask("");


  		





  298
  299
  
    
			}


  		





  299
  300
  
    
			workspace.loadProjectsFromProjectScopes();


  		





  300
  301
  
    
		} else {


  		












Formats disponibles :
  Unified diff