Révision 770

tmp/org.txm.setups/shared/debian/usr/lib/TXM/install.prefs (revision 770)
1 
cqi_server_path_to_cqplib=/usr/lib/TXM/cwb/bin
2 
cqi_server_path_to_executable=/usr/lib/TXM/cwb/bin/cqpserver
3 
cqi_server_path_to_init_file=/usr/lib/TXM/cwb/cqpserver.init
4 
r_path_to_executable=/usr/lib/TXM/R/bin/R
5 
r_file_transfert=false
6 
treetagger_install_path=/usr/lib/treetagger
7 
treetagger_models_path=/usr/lib/treetagger/models
8 

  		





  9
  
  
    
charts_engine_name=jfreechart_charts_engine


  		





  10
  
  
    
charts_engine_output_format=JFreeChart/Java2D


  		





  11
  
  
    

  		





  12
  
  
    
auto_update_editor=true


  		





  13
  
  
    

  		





  14
  
  
    
ca_show_individuals=true


  		





  15
  
  
    
ca_show_variables=false


  		





  16
  
  
    
ca_quality_display=0.00


  		





  17
  
  
    
ca_mass_display=0.00


  		





  18
  
  
    
ca_dist_display=0.00


  		





  19
  
  
    
ca_contrib_display=0.00


  		





  20
  
  
    
ca_cos2_display=0.00


  		





  21
  
  
    
ca_coord_display=0.00


  		





  22
  
  
    
ca_lt_fmin=10


  		





  23
  
  
    
ca_lt_vmax=200


  		





  24
  
  
    

  		





  25
  
  
    
cah_display_2d=3D


  		





  26
  
  
    
cah_default_method=ward


  		





  27
  
  
    
cah_default_metric=euclidean


  		





  28
  
  
    
cah_default_ncluster=2


  		





  29
  
  
    

  		





  30
  
  
    
conc_n_lines_per_page=100


  		





  31
  
  
    
conc_left_context_size=8


  		





  32
  
  
    
conc_right_context_size=12


  		





  33
  
  
    

  		





  34
  
  
    
cooc_scoreformat=E00


  		





  35
  
  
    
cooc_minfreq=2


  		





  36
  
  
    
cooc_minscore=2


  		





  37
  
  
    
cooc_mincount=2


  		





  38
  
  
    
cooc_maxleft=10


  		





  39
  
  
    
cooc_minleft=0


  		





  40
  
  
    
cooc_minright=0


  		





  41
  
  
    
cooc_maxright=10


  		





  42
  
  
    

  		





  43
  
  
    
diag_max_value=20


  		





  44
  
  
    
diag_partssort=false


  		





  45
  
  
    

  		





  46
  
  
    
export_colseparator=;


  		





  47
  
  
    
export_txtseparator="


  		





  48
  
  
    
export_encoding=UTF-8


  		





  49
  
  
    
export_show=false


  		





  50
  
  
    

  		





  51
  
  
    
log_level=OFF


  		





  52
  
  
    
log_console=false


  		





  53
  
  
    
log_file=false


  		





  54
  
  
    

  		





  55
  
  
    
lt_fmin=2


  		





  56
  
  
    

  		





  57
  
  
    
metadata_encoding=UTF-8


  		





  58
  
  
    
metadata_colseparator=,


  		





  59
  
  
    
metadata_txtseparator="


  		





  60
  
  
    

  		





  61
  
  
    
progression_monochrome=false


  		





  62
  
  
    
progression_cumulative=true


  		





  63
  
  
    
progression_repeatvalues=false


  		





  64
  
  
    
progression_bandemultiplier=1.0


  		





  65
  
  
    
progression_monostyle=true


  		





  66
  
  
    

  		





  67
  
  
    
specif_bars=true


  		





  68
  
  
    
specif_curves=false


  		





  69
  
  
    
specif_transpose=false


  		





  70
  
  
    
specif_monochrome=false


  		





  71
  
  
    
specif_banalite=2


  		





  72
  
  
    
specif_fmin=1


  		





  73
  
  
    
specif_maxscore=1000


  		





  74
  
  
    

  		





  75
  
  
    
ui_locale=en


  		





  76
  
  
    

  		





  77
  
  
    
auto_update=true


  		












  

    
      tmp/org.txm.index.rcp/src/org/txm/index/rcp/editors/IndexEditor.java	(revision 770)
    
  






  60
  60
  
    
import org.txm.rcp.editors.listeners.ComputeKeyListener;


  		





  61
  61
  
    
import org.txm.rcp.editors.listeners.ComputeSelectionListener;


  		





  62
  62
  
    
import org.txm.rcp.messages.TXMUIMessages;


  		





  
  63
  
    
import org.txm.rcp.swt.GLComposite;


  		





  63
  64
  
    
import org.txm.rcp.swt.widget.AssistedQueryWidget;


  		





  64
  65
  
    
import org.txm.rcp.swt.widget.NavigationWidget;


  		





  65
  66
  
    
import org.txm.rcp.swt.widget.PropertiesSelector;


  		





  ......




  86
  87
  
    
	/** The query label. */


  		





  87
  88
  
    
	protected Label queryLabel;


  		





  88
  89
  
    

  		





  89
  
  
    
	/** The go. */


  		





  90
  
  
    
	protected Button searchButton;


  		





  91
  
  
    

  		





  92
  
  
    

  		





  93
  90
  
    
	// infos


  		





  94
  91
  
    
	/** The navigation area. */


  		





  95
  92
  
    
	protected NavigationWidget navigationArea;


  		





  ......




  175
  172
  
    
		paramArea.setLayout(new FormLayout());


  		





  176
  173
  
    

  		





  177
  174
  
    
		// info&navigation panel


  		





  178
  
  
    
		final Composite infosArea = this.getBottomToolbar().installGLComposite("Infos", 1, false);


  		





  
  175
  
    
		final GLComposite infosArea = this.getBottomToolbar().installGLComposite("Infos", 1, false);


  		





  179
  176
  
    
		infosArea.setLayoutData(new GridData(GridData.FILL, GridData.FILL, true, false));


  		





  180
  
  
    
		


  		





  
  177
  
    
		infosArea.getLayout().numColumns = 5; // nav panel + labels


  		





  181
  178
  
    
		Composite resultArea = this.getResultArea();


  		





  182
  179
  
    

  		





  183
  180
  
    
		// on créé une Query, ici le pivot de la concordance est "[]"


  		





  ......




  220
  217
  
    
		// Listener


  		





  221
  218
  
    
		propertiesSelector.addSelectionListener(computeSelectionListener);


  		





  222
  219
  
    
		


  		





  223
  
  
    
		//Search button


  		





  224
  
  
    
		searchButton = new Button(queryArea, SWT.BOLD);


  		





  225
  
  
    
		searchButton.setText(TXMUIMessages.SEARCH);


  		





  226
  
  
    

  		





  227
  
  
    
		Font f = searchButton.getFont();


  		





  228
  
  
    
		FontData defaultFont = f.getFontData()[0];


  		





  229
  
  
    
		defaultFont.setStyle(SWT.BOLD);


  		





  230
  
  
    
		Font newf = new Font(searchButton.getDisplay(), defaultFont);


  		





  231
  
  
    
		searchButton.setFont(newf);


  		





  232
  
  
    

  		





  233
  
  
    
		layoutData = new GridData(GridData.VERTICAL_ALIGN_CENTER);


  		





  234
  
  
    
		layoutData.horizontalAlignment = GridData.FILL;


  		





  235
  
  
    
		layoutData.grabExcessHorizontalSpace = false;


  		





  236
  
  
    
		searchButton.setLayoutData(layoutData);


  		





  237
  
  
    
		searchButton.addSelectionListener(computeSelectionListener);


  		





  238
  
  
    

  		





  239
  220
  
    
		// Filters


  		





  240
  221
  
    
		Composite filtercontrols = new Composite(paramArea, SWT.NONE);


  		





  241
  222
  
    
		FormData filtersLayoutData = new FormData();


  		





  ......




  317
  298
  
    
			}


  		





  318
  299
  
    
		});


  		





  319
  300
  
    

  		





  320
  
  
    
		// compose infosArea


  		





  321
  
  
    
		infosArea.setLayout(new GridLayout(6, false));


  		





  322
  
  
    

  		





  323
  301
  
    
		navigationArea = new NavigationWidget(infosArea, SWT.NONE);


  		





  324
  
  
    
		//navigationArea.setLayoutData(new GridData(SWT.CENTER, SWT.FILL, true,	false));


  		





  
  302
  
    
		navigationArea.setLayoutData(new GridData(SWT.CENTER, SWT.FILL, true,	false));


  		





  325
  303
  
    

  		





  326
  304
  
    
		navigationArea.addFirstListener(new SelectionListener() {


  		





  327
  305
  
    
			@Override


  		





  ......




  384
  362
  
    
		});


  		





  385
  363
  
    

  		





  386
  364
  
    
		// Labels added after the top toolbar


  		





  387
  
  
    
		lTInfo = new Label(getTopToolbarContainer(), SWT.NONE);


  		





  
  365
  
    
		lTInfo = new Label(infosArea, SWT.NONE);


  		





  388
  366
  
    
		lTInfo.setText(""); //$NON-NLS-1$


  		





  389
  367
  
    
//		lTInfo.setLayoutData(new GridData(SWT.LEFT, SWT.CENTER, false, false));


  		





  390
  368
  
    

  		





  391
  
  
    
		lVInfo = new Label(getTopToolbarContainer(), SWT.NONE);


  		





  
  369
  
    
		lVInfo = new Label(infosArea, SWT.NONE);


  		





  392
  370
  
    
		lVInfo.setText(""); //$NON-NLS-1$


  		





  393
  371
  
    
//		lVInfo.setLayoutData(new GridData(SWT.LEFT, SWT.CENTER, false, false));


  		





  394
  372
  
    

  		





  395
  
  
    
		lFminInfo = new Label(getTopToolbarContainer(), SWT.NONE);


  		





  
  373
  
    
		lFminInfo = new Label(infosArea, SWT.NONE);


  		





  396
  374
  
    
		lFminInfo.setText(""); //$NON-NLS-1$


  		





  397
  375
  
    
//		lFminInfo.setLayoutData(new GridData(SWT.LEFT, SWT.CENTER, false, false));


  		





  398
  376
  
    

  		





  399
  
  
    
		lFmaxInfo = new Label(getTopToolbarContainer(), SWT.NONE);


  		





  
  377
  
    
		lFmaxInfo = new Label(infosArea, SWT.NONE);


  		





  400
  378
  
    
		lFmaxInfo.setText(""); //$NON-NLS-1$


  		





  401
  379
  
    
//		lFmaxInfo.setLayoutData(new GridData(SWT.LEFT, SWT.CENTER, false, false));


  		





  402
  380
  
    

  		












Formats disponibles :
  Unified diff