Laboratoire ICAR » Plateforme TXM

<?xml version="1.0" encoding="UTF-8"?>

<projectDescription>

	<name>org.txm.index.rcp</name>

	<comment></comment>

	<projects>

	</projects>

	<buildSpec>

		<buildCommand>

			<name>org.eclipse.jdt.core.javabuilder</name>

			<arguments>

			</arguments>

		</buildCommand>

		<buildCommand>

			<name>org.eclipse.pde.ManifestBuilder</name>

			<arguments>

			</arguments>

		</buildCommand>

		<buildCommand>

			<name>org.eclipse.pde.SchemaBuilder</name>

			<arguments>

			</arguments>

		</buildCommand>

	</buildSpec>

	<natures>

		<nature>org.eclipse.pde.PluginNature</nature>

		<nature>org.eclipse.jdt.core.javanature</nature>

	</natures>

</projectDescription>

// Copyright © 2010-2013 ENS de Lyon.

// Copyright © 2007-2010 ENS de Lyon, CNRS, INRP, University of

// Lyon 2, University of Franche-Comté, University of Nice

// Sophia Antipolis, University of Paris 3.

// 

// The TXM platform is free software: you can redistribute it

// and/or modify it under the terms of the GNU General Public

// License as published by the Free Software Foundation,

// either version 2 of the License, or (at your option) any

// later version.

// 

// The TXM platform is distributed in the hope that it will be

// useful, but WITHOUT ANY WARRANTY; without even the implied

// warranty of MERCHANTABILITY or FITNESS FOR A PARTICULAR

// PURPOSE. See the GNU General Public License for more

// details.

// 

// You should have received a copy of the GNU General

// Public License along with the TXM platform. If not, see

// http://www.gnu.org/licenses.

// 

// 

// 

// $LastChangedDate:$

// $LastChangedRevision:$

// $LastChangedBy:$ 

//

package org.txm.index.rcp.handlers;

import org.eclipse.core.commands.AbstractHandler;

import org.eclipse.core.commands.ExecutionEvent;

import org.eclipse.core.commands.ExecutionException;

import org.eclipse.jface.viewers.IStructuredSelection;

import org.eclipse.ui.IWorkbenchPage;

import org.eclipse.ui.handlers.HandlerUtil;

import org.txm.Toolbox;

import org.txm.index.rcp.editors.IndexEditor;

import org.txm.index.rcp.editors.IndexEditorInput;

import org.txm.rcpapplication.Messages;

import org.txm.rcpapplication.StatusLine;

import org.txm.rcpapplication.TXMWindows;

import org.txm.searchengine.cqp.corpus.Corpus;

import org.txm.searchengine.cqp.corpus.Partition;

/**

 * Open the Index Editor.

 * @author mdecorde

 */

public class ComputeIndex extends AbstractHandler {

	/** The selection. */

	private IStructuredSelection selection;

	/* (non-Javadoc)

	 * @see org.eclipse.core.commands.AbstractHandler#execute(org.eclipse.core.commands.ExecutionEvent)

	 */

	@Override

	public Object execute(ExecutionEvent event) throws ExecutionException {

		if (!Toolbox.isSearchEngineInitialized()) return false;

		selection = (IStructuredSelection) HandlerUtil.getCurrentSelection(event);

		Object s = selection.getFirstElement();

		if (s instanceof Corpus) {

			final Corpus corpus = (Corpus) s;

			openEditor(corpus);

		} else if (s instanceof Partition) {

			final Partition partition = (Partition) s;

			openEditor(partition);

		}

		return null;

	}

	/**

	 * Create an index from the specified corpus and opens an index editor.

	 * @param corpus

	 * @return

	 */

	public static boolean openEditor(Corpus corpus) {

		if (!Toolbox.isSearchEngineInitialized()) return false;

		IWorkbenchPage page = TXMWindows.getActiveWindow().getActivePage();

		IndexEditorInput editorInput = new IndexEditorInput(corpus);

		try {

			StatusLine.setMessage(Messages.ComputeIndex_0);

			IndexEditor editor = (IndexEditor) page.openEditor(editorInput, "IndexEditor"); //$NON-NLS-1$

			//editor.initializeFields();

			return true;

		} catch (Exception e) {

			org.txm.rcpapplication.utils.Logger.printStackTrace(e);

		}

		return false;

	}

	/**

	 * Create an index from the specified partition and opens an index editor.

	 * @param partition

	 * @return

	 */

	public static boolean openEditor(Partition partition) {

		if (!Toolbox.isSearchEngineInitialized()) return false;

		IWorkbenchPage page = TXMWindows.getActiveWindow().getActivePage();

		IndexEditorInput editorInput = new IndexEditorInput(partition);

		try {

			StatusLine.setMessage(Messages.ComputeIndex_0);

			IndexEditor editor = (IndexEditor) page.openEditor(editorInput, "IndexEditor"); //$NON-NLS-1$

			editor.initializeFields();

			return true;

		} catch (Exception e) {

			org.txm.rcpapplication.utils.Logger.printStackTrace(e);

		}

		return false;

	}

}

// Copyright © 2010-2013 ENS de Lyon.

package org.txm.index.rcp.adapters;

import org.eclipse.jface.resource.ImageDescriptor;

import org.eclipse.ui.model.IWorkbenchAdapter;

import org.eclipse.ui.plugin.AbstractUIPlugin;

import org.osgi.framework.FrameworkUtil;

import org.txm.index.core.functions.Index;

import org.txm.rcp.adapters.BaseAdapterFactory;

import org.txm.stat.data.LexicalTable;

/**

 * A factory for creating Adapter objects.

 *  

 * @author mdecorde

 * @author sjacquot

 */

public class IndexAdapterFactory extends BaseAdapterFactory {

	public static final ImageDescriptor ICON =

			AbstractUIPlugin.imageDescriptorFromPlugin(FrameworkUtil.getBundle(IndexAdapterFactory.class).getSymbolicName(),

					"platform:/plugin/"+ FrameworkUtil.getBundle(IndexAdapterFactory.class).getSymbolicName() + "/icons/index.png"); //$NON-NLS-1$ //$NON-NLS-2$

	/**

	 * Gets the adapter.

	 *

	 * @param adaptableObject the adaptable object

	 * @param adapterType the adapter type

	 * @return the adapter

	 * @see org.eclipse.core.runtime.IAdapterFactory#getAdapter(java.lang.Object, java.lang.Class)

	 */

	@Override

	public Object getAdapter(Object adaptableObject, Class adapterType) {

		if(adapterType == IWorkbenchAdapter.class)	{

			if(adaptableObject instanceof LexicalTable)	{

				return new IWorkbenchAdapter() {

					@Override

					public Object[] getChildren(Object o) {

						return ((Index)o).getResults().toArray();

					}

					@Override

					public ImageDescriptor getImageDescriptor(Object object) {

						return ICON;

					}

					@Override

					public String getLabel(Object o) {

						return ((Index) o).getName();

					}

					@Override

					public Object getParent(Object o) {

						return ((Index) o).getParent();

					}

				};

			}

		}

		return null;

	}

}

// Copyright © 2010-2013 ENS de Lyon.

// Copyright © 2007-2010 ENS de Lyon, CNRS, INRP, University of

// Lyon 2, University of Franche-Comté, University of Nice

// Sophia Antipolis, University of Paris 3.

// 

// The TXM platform is free software: you can redistribute it

// and/or modify it under the terms of the GNU General Public

// License as published by the Free Software Foundation,

// either version 2 of the License, or (at your option) any

// later version.

// 

// The TXM platform is distributed in the hope that it will be

// useful, but WITHOUT ANY WARRANTY; without even the implied

// warranty of MERCHANTABILITY or FITNESS FOR A PARTICULAR

// PURPOSE. See the GNU General Public License for more

// details.

// 

// You should have received a copy of the GNU General

// Public License along with the TXM platform. If not, see

// http://www.gnu.org/licenses.

// 

// 

// 

// $LastChangedDate:$

// $LastChangedRevision:$

// $LastChangedBy:$ 

//

package org.txm.index.rcp.editors;

import java.util.List;

import org.eclipse.jface.viewers.IStructuredContentProvider;

import org.eclipse.jface.viewers.Viewer;

import org.txm.index.core.functions.Line;

// TODO: Auto-generated Javadoc

/**

 * The IStructuredContentProvider used by the reference and line tables.

 *

 * @author jmague

 */

public class LineContentProvider implements IStructuredContentProvider {

	/*

	 * (non-Javadoc)

	 * 

	 * @see

	 * org.eclipse.jface.viewers.IStructuredContentProvider#getElements(java

	 * .lang.Object)

	 */

	@Override

	public Object[] getElements(Object inputElement) {

		@SuppressWarnings("unchecked")

		List<Line> lines = (List<Line>) inputElement;

		return lines.toArray();

	}

	/*

	 * (non-Javadoc)

	 * 

	 * @see org.eclipse.jface.viewers.IContentProvider#dispose()

	 */

	@Override

	public void dispose() {

		// TODO Auto-generated method stub

	}

	/*

	 * (non-Javadoc)

	 * 

	 * @see

	 * org.eclipse.jface.viewers.IContentProvider#inputChanged(org.eclipse.jface

	 * .viewers.Viewer, java.lang.Object, java.lang.Object)

	 */

	@Override

	public void inputChanged(Viewer viewer, Object oldInput, Object newInput) {

		// TODO Auto-generated method stub

	}

}

// Copyright © 2010-2013 ENS de Lyon.

// Copyright © 2007-2010 ENS de Lyon, CNRS, INRP, University of

// Lyon 2, University of Franche-Comté, University of Nice

// Sophia Antipolis, University of Paris 3.

// 

// The TXM platform is free software: you can redistribute it

// and/or modify it under the terms of the GNU General Public

// License as published by the Free Software Foundation,

// either version 2 of the License, or (at your option) any

// later version.

// 

// The TXM platform is distributed in the hope that it will be

// useful, but WITHOUT ANY WARRANTY; without even the implied

// warranty of MERCHANTABILITY or FITNESS FOR A PARTICULAR

// PURPOSE. See the GNU General Public License for more

// details.

// 

// You should have received a copy of the GNU General

// Public License along with the TXM platform. If not, see

// http://www.gnu.org/licenses.

// 

// 

// 

// $LastChangedDate:$

// $LastChangedRevision:$

// $LastChangedBy:$ 

//

package org.txm.index.rcp.editors;

import java.util.ArrayList;

import java.util.List;

import org.eclipse.core.runtime.IProgressMonitor;

import org.eclipse.core.runtime.IStatus;

import org.eclipse.core.runtime.Status;

import org.eclipse.jface.action.MenuManager;

import org.eclipse.jface.viewers.IStructuredSelection;

import org.eclipse.jface.viewers.TableViewer;

import org.eclipse.osgi.util.NLS;

import org.eclipse.swt.SWT;

import org.eclipse.swt.custom.ScrolledComposite;

import org.eclipse.swt.events.ControlAdapter;

import org.eclipse.swt.events.ControlEvent;

import org.eclipse.swt.events.KeyEvent;

import org.eclipse.swt.events.KeyListener;

import org.eclipse.swt.events.MouseAdapter;

import org.eclipse.swt.events.MouseEvent;

import org.eclipse.swt.events.SelectionEvent;

import org.eclipse.swt.events.SelectionListener;

import org.eclipse.swt.graphics.Font;

import org.eclipse.swt.graphics.FontData;

import org.eclipse.swt.graphics.Image;

import org.eclipse.swt.graphics.Point;

import org.eclipse.swt.graphics.Rectangle;

import org.eclipse.swt.layout.FormAttachment;

import org.eclipse.swt.layout.FormData;

import org.eclipse.swt.layout.FormLayout;

import org.eclipse.swt.layout.GridData;

import org.eclipse.swt.layout.GridLayout;

import org.eclipse.swt.widgets.Button;

import org.eclipse.swt.widgets.Composite;

import org.eclipse.swt.widgets.Display;

import org.eclipse.swt.widgets.Event;

import org.eclipse.swt.widgets.Label;

import org.eclipse.swt.widgets.Listener;

import org.eclipse.swt.widgets.Menu;

import org.eclipse.swt.widgets.Spinner;

import org.eclipse.swt.widgets.TableColumn;

import org.eclipse.ui.IEditorInput;

import org.eclipse.ui.IEditorSite;

import org.eclipse.ui.PartInitException;

import org.eclipse.ui.part.EditorPart;

import org.txm.Toolbox;

import org.txm.index.core.functions.Index;

import org.txm.index.core.functions.Line;

import org.txm.index.core.functions.LineComparator.SortMode;

import org.txm.rcpapplication.JobsTimer;

import org.txm.rcpapplication.Messages;

import org.txm.rcpapplication.StatusLine;

import org.txm.rcpapplication.TxmPreferences;

import org.txm.rcpapplication.commands.editor.CustomizableEditor;

import org.txm.rcpapplication.commands.link.IndexToConcordance;

import org.txm.rcpapplication.commands.link.IndexToProgression;

import org.txm.rcpapplication.editors.TableKeyListener;

import org.txm.rcpapplication.preferences.UserPreferencePage;

import org.txm.rcpapplication.swt.widget.AssistedQueryWidget;

import org.txm.rcpapplication.swt.widget.NavigationWidget;

import org.txm.rcpapplication.swt.widget.PropertiesSelector;

import org.txm.rcpapplication.utils.JobHandler;

import org.txm.rcpapplication.views.CorporaView;

import org.txm.rcpapplication.views.QueriesView;

import org.txm.rcpapplication.views.RVariablesView;

import org.txm.searchengine.cqp.clientExceptions.CqiClientException;

import org.txm.searchengine.cqp.corpus.Corpus;

import org.txm.searchengine.cqp.corpus.Partition;

import org.txm.searchengine.cqp.corpus.Property;

import org.txm.searchengine.cqp.corpus.StructuralUnitProperty;

import org.txm.searchengine.cqp.corpus.query.Query;

import org.txm.utils.logger.Log;

// TODO: Auto-generated Javadoc

/**

 * display the index parameters and result.

 *

 * @author mdecorde

 */

public class IndexEditor extends EditorPart implements CustomizableEditor{

	/** The corpus. */

	protected Corpus corpus;

	/** The partition. */

	protected Partition partition;

	/** The index. */

	protected Index index;

	protected boolean saveIndex = true;

	// params

	/** The query label. */

	protected Label queryLabel;

	/** The query widget. */

	protected AssistedQueryWidget queryWidget;

	/** The go. */

	protected Button go;

	/** The props area. */

	protected PropertiesSelector propsArea;

	// seuils

	/** The Fmin spinner. */

	protected Spinner FminSpinner;

	/** The Fmax spinner. */

	protected Spinner FmaxSpinner;

	/** The Tmax spinner. */

	protected Spinner TmaxSpinner;

	/** The N ligne p page spinner. */

	protected Spinner NLignePPageSpinner;

	// infos

	/** The navigation area. */

	protected NavigationWidget navigationArea;

	/** The l fmin info. */

	protected Label lFminInfo;

	/** The l fmax info. */

	protected Label lFmaxInfo;

	/** The l v info. */

	protected Label lVInfo;

	/** The l t info. */

	protected Label lTInfo;

	// result

	/** The line table viewer. */

	protected TableViewer viewer;

	/** The n column. */

	protected TableColumn nColumn;

	/** The unit column. */

	protected TableColumn unitColumn;

	/** The freq column. */

	protected TableColumn freqColumn;

	/** The separator column. */

	protected TableColumn separatorColumn;

	/** The top line. */

	protected int topLine;

	/** The bottom line. */

	protected int bottomLine;

	/** The nblinesperpage. */

	protected int nblinesperpage;

	/** The nblinesmax. */

	protected int nblinesmax;

	/** The prop separator. */

	protected String propSeparator = "_"; //$NON-NLS-1$

	/** The scroll composite. */

	private ScrolledComposite scrollComposite;

	/** The head composite. */

	private Composite headComposite;

	private Button hideBtn;

	private boolean isSetupShown;

	private Point querySize;

	private Point oldSize;

	/** The title. */

	String title;

	/** The source. */

	private Object source;

	/**

	 * Instantiates a new index editor.

	 */

	public IndexEditor() {

		super();

	}

	/**

	 * Do save.

	 *

	 * @param arg0 the arg0

	 * @see org.eclipse.ui.part.EditorPart#doSave(org.eclipse.core.runtime.IProgressMonitor)

	 */

	@Override

	public void doSave(IProgressMonitor arg0) {

		// TODO Auto-generated method stub

	}

	/**

	 * Do save as.

	 *

	 * @see org.eclipse.lyon gournd zeroui.part.EditorPart#doSaveAs()

	 */

	@Override

	public void doSaveAs() {

		// TODO Auto-generated method stub

	}

	/**

	 * Inits the.

	 *

	 * @param site the site

	 * @param input the input

	 * @throws PartInitException the part init exception

	 * @see org.eclipse.ui.part.EditorPart#init(org.eclipse.ui.IEditorSite,

	 * org.eclipse.ui.IEditorInput)

	 */

	@Override

	public void init(IEditorSite site, IEditorInput input)

			throws PartInitException {

		setSite(site);

		setInput(input);

		this.corpus = ((IndexEditorInput) input).getCorpus();

		this.partition = ((IndexEditorInput) input).getPartition();

		this.index = ((IndexEditorInput) input).getIndex();

	}

	/**

	 * Checks if is dirty.

	 *

	 * @return true, if is dirty

	 * @see org.eclipse.ui.part.EditorPart#isDirty()

	 */

	@Override

	public boolean isDirty() {

		return false;

	}

	/**

	 * Checks if is save as allowed.

	 *

	 * @return true, if is save as allowed

	 * @see org.eclipse.ui.part.EditorPart#isSaveAsAllowed()

	 */

	@Override

	public boolean isSaveAsAllowed() {

		return false;

	}

	/**

	 * Compute index.

	 */

	public void compute() {

		StatusLine.setMessage(Messages.IndexEditor_33);

		final Query query; // if the query is empty then we put "[]" instead

		if (queryWidget.isDisposed()) { // lexicon editor

			query = new Query("[]"); //$NON-NLS-1$

		} else if (!queryWidget.getQueryString().equals("\"\"")) { //$NON-NLS-1$

			query = new Query(queryWidget.getQueryString());

		} else {

			System.err.println(Messages.IndexEditor_0);

			return;

		}

		final int Fmin = Integer.parseInt(FminSpinner.getText());

		final int Fmax = Integer.parseInt(FmaxSpinner.getText());

		final int Tmax = Integer.parseInt(this.TmaxSpinner.getText());

		final List<Property> properties = propsArea.getProperties();

		//System.out.println("PROPERTIES: "+properties);

		try {

			title = NLS.bind(Messages.IndexEditor_2, new Object[]{

					query.getQueryString(), properties, corpus.getName()});

			if (partition != null)

				title = NLS.bind(Messages.IndexEditor_20, new Object[]{

						query.getQueryString(), properties, corpus.getName()});

			JobHandler jobhandler = new JobHandler(title, go.getParent()) {

				@Override

				protected IStatus run(IProgressMonitor monitor) {

					this.runInit(monitor);

					try {

						JobsTimer.start();

						Index oldIndex = index;

						System.out.println(title);

						Log.info("Start computing Index...");

						if (partition != null) {

							if (simpleQuery(query, properties)) {

								index = new Index(partition, query, properties);

							} else {

								index = new Index(partition, query, properties);

							}

						} else {

							if (simpleQuery(query, properties)) {

								index = new Index(corpus, properties.get(0));

							} else {

								index = new Index(corpus, query, properties);

							}

						}

						if (monitor.isCanceled())

							return Status.CANCEL_STATUS;

						if (index == null) {

							StatusLine.setMessage(Messages.IndexEditor_1);

							return Status.CANCEL_STATUS;

						}

						Log.info("Filtering Fmin="+Fmin+" and Fmax="+Fmax);

						index.setCurrentMonitor(this);

						index.filterLines(Fmin, Fmax);

						Log.info("Sorting...");

						index.sortLines(SortMode.FREQUNIT, true);

						Log.info("Cutting Tmax="+Tmax);

						index.cut(Tmax);

						Log.info("Index done.");

						if (monitor.isCanceled())

							return Status.CANCEL_STATUS;

						this.acquireSemaphore();

						if (oldIndex != null)

							if (oldIndex.equals(index))

								if (index.isComputedWithPartition())

									partition.removeResult(oldIndex);

								else

									corpus.removeResult(oldIndex);

						if (index.getV() > 0 && saveIndex)

							if (index.isComputedWithPartition())

								partition.storeResult(index);

							else

								corpus.storeResult(index);

						this.releaseSemaphore();

						final String message;

						if (index.getV() == 1)

							message= (Messages.ConcordancesEditor_52);

						else if (index.getV() > 0)

							message= (Messages.bind(Messages.CreatePartition_55, index.getV(), index.getT()));

						else

							message= (Messages.IndexEditor_31);

						if (monitor.isCanceled())

							return Status.CANCEL_STATUS;

						monitor.worked(95);

						// refresh ui

						syncExec(new Runnable() {

							@Override

							public void run() {

								System.out.println(message);

								StatusLine.setMessage(message);

								CorporaView.refresh();

								CorporaView.expand(index.getParent());

								QueriesView.refresh();

								RVariablesView.refresh();

								if (partition != null)

									setPartName(partition.getName()+": "+index.getName()); //$NON-NLS-1$

								else

									setPartName(corpus.getName()+": "+index.getName()); //$NON-NLS-1$

								if (!queryWidget.isDisposed()) queryWidget.memorize();

								nblinesperpage = NLignePPageSpinner.getSelection();

								nblinesmax = TmaxSpinner.getSelection();

								fillDisplayArea(0, NLignePPageSpinner.getSelection());

								viewer.getTable().setFocus();

							}

						});

					} catch (ThreadDeath td) {

						return Status.CANCEL_STATUS;

					} catch (Exception e) {

						System.out.println(e.getLocalizedMessage());

						try {

							System.out.println(Messages.LastCQPError+Toolbox.getCqiClient().getLastCQPError());

						} catch (Exception e1) {

							System.out.println(Messages.IndexEditor_10+e1);

							org.txm.rcpapplication.utils.Logger.printStackTrace(e1);

						}

						Log.severe("Error while computing Index with "+query+" query: "+e.getLocalizedMessage());

					} finally {

						monitor.done();

						JobsTimer.stopAndPrint();

					}

					return Status.OK_STATUS;

				}

			};

			jobhandler.startJob();

		} catch (Exception e1) {

			org.txm.rcpapplication.utils.Logger.printStackTrace(e1);

		}

	}

	/**

	 * Simple query.

	 *

	 * @param query the query

	 * @param props the props

	 * @return true, if successful

	 */

	private boolean simpleQuery(Query query, List<Property> props) {

		for(Property p : props) {

			if(p instanceof StructuralUnitProperty) return false;

		}

		String trimed = query.getQueryString().trim();

		Property p = props.get(0);

		if (props.size() > 1)

			return false;

		else if (trimed.equals("[]")) //$NON-NLS-1$

			return true;

		else if (trimed.equals("[" + p.getName() + "=\".*\"]")) //$NON-NLS-1$ //$NON-NLS-2$

		{

			return true;

		} 

		return false;

	}

	/**

	 * Creates the part control.

	 *

	 * @param parent the parent

	 * @see org.eclipse.ui.part.WorkbenchPart#createPartControl(org.eclipse.swt.widgets.Composite)

	 */

	@Override

	public void createPartControl(final Composite parent) {

		FormLayout parentLayout = new FormLayout();

		parent.setLayout(parentLayout);

		//create scrollable area

		scrollComposite = new ScrolledComposite(parent, SWT.H_SCROLL | SWT.NONE);

		FormData headLayoutData = new FormData();

		headLayoutData.top = new FormAttachment(0, 0);

		headLayoutData.left = new FormAttachment(0);

		headLayoutData.right = new FormAttachment(100);

		scrollComposite.setLayoutData(headLayoutData);

		scrollComposite.setLayout(new FormLayout());

		headComposite = new Composite(scrollComposite, SWT.NONE);

		headLayoutData = new FormData();

		headLayoutData.top = new FormAttachment(0);

		headLayoutData.bottom = new FormAttachment(100);

		headLayoutData.left = new FormAttachment(0);

		headLayoutData.right = new FormAttachment(100);

		headComposite.setLayoutData(headLayoutData);

		headComposite.setLayout(new FormLayout());

		scrollComposite.setContent(headComposite);

		scrollComposite.setExpandVertical(true);

		scrollComposite.setExpandHorizontal(true);

		scrollComposite.addControlListener(new ControlAdapter() {

			@Override

			public void controlResized(ControlEvent e) {

				Rectangle r = scrollComposite.getClientArea();

				scrollComposite.setMinSize(headComposite.computeSize(

						SWT.DEFAULT, SWT.DEFAULT));

			}

		});

		final Composite paramArea = new Composite(headComposite, SWT.NONE);

		FormData paramLayoutData = new FormData();

		paramLayoutData.top = new FormAttachment(0);

		paramLayoutData.left = new FormAttachment(0);

		paramLayoutData.right = new FormAttachment(100);

		paramArea.setLayoutData(paramLayoutData);

		// info&navigation panel

		final Composite infosArea = new Composite(headComposite, SWT.NONE);

		FormData infosLayoutData = new FormData();

		infosLayoutData.top = new FormAttachment(paramArea, 0);

		infosLayoutData.left = new FormAttachment(0);

		infosLayoutData.right = new FormAttachment(100);

		infosArea.setLayoutData(infosLayoutData);

		Composite resultArea = new Composite(parent, SWT.NONE);

		FormData resultLayoutData = new FormData();

		resultLayoutData.top = new FormAttachment(scrollComposite, 0);

		resultLayoutData.left = new FormAttachment(0);

		resultLayoutData.right = new FormAttachment(100);

		resultLayoutData.bottom = new FormAttachment(100);

		resultArea.setLayoutData(resultLayoutData);

		// compose paramArea

		FormLayout paramLayout = new FormLayout();

		paramArea.setLayout(paramLayout);

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

		// Query Area: query itself + view properties

		Composite queryArea = new Composite(paramArea, SWT.NONE);

		FormData queryLayoutData = new FormData();

		queryLayoutData.top = new FormAttachment(0);

		queryLayoutData.left = new FormAttachment(0);

		queryLayoutData.right = new FormAttachment(100);

		queryArea.setLayoutData(queryLayoutData);

		queryArea.setLayout(new GridLayout(4, false));

		// | Query: [ (v)] [Search] |

		// Query:

		queryLabel = new Label(queryArea, SWT.NONE);

		queryLabel.setText(Messages.IndexEditor_3);

		queryLabel.setLayoutData(new GridData(SWT.RIGHT, SWT.CENTER, false,

				true));

		// [ (v)]

		queryWidget = new AssistedQueryWidget(queryArea, SWT.DROP_DOWN,

				this.corpus);

		GridData layoutData = new GridData(GridData.VERTICAL_ALIGN_CENTER);

		layoutData.horizontalAlignment = GridData.FILL;

		layoutData.grabExcessHorizontalSpace = true;

		queryWidget.setLayoutData(layoutData);

		KeyListener listener = new KeyListener() {

			@Override

			public void keyPressed(KeyEvent e) {

				if (e.keyCode == SWT.CR || e.keyCode == SWT.KEYPAD_CR) {

					compute();

				}

			}

			@Override

			public void keyReleased(KeyEvent e) {

			}

		};

		queryWidget.addKeyListener(listener);

		// select focus properties

		propsArea = new PropertiesSelector(queryArea, SWT.NONE);

		propsArea.setLayoutData(new GridData(GridData.FILL, GridData.FILL,

				false, false));

		propsArea.setLayout(new GridLayout(3, false));

		propsArea.addValueChangeListener(new Listener() {

			@Override

			public void handleEvent(Event event) {

				if (!initializing && TxmPreferences.getBoolean(UserPreferencePage.AUTO_UPDATE_EDITOR))

					compute();

			}

		});

		//propsArea

		go = new Button(queryArea, SWT.BOLD);

		go.setText(Messages.IndexEditor_4);

		Font f = go.getFont();

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

		defaultFont.setStyle(SWT.BOLD);

		Font newf = new Font(go.getDisplay(), defaultFont);

		go.setFont(newf);

		layoutData = new GridData(GridData.VERTICAL_ALIGN_CENTER);

		layoutData.horizontalAlignment = GridData.FILL;

		layoutData.grabExcessHorizontalSpace = false;

		go.setLayoutData(layoutData);

		SelectionListener listener2 = new SelectionListener() {

			@Override

			public void widgetSelected(SelectionEvent e) {

				compute();

			}

			@Override

			public void widgetDefaultSelected(SelectionEvent e) { }

		};

		go.addSelectionListener(listener2);

		// | Properties: word_pos [Edit] |

		/*

		 * propsArea = new PropertiesSelector(paramArea, SWT.NONE);

		 * propsArea.setLayout(new GridLayout(3, false));

		 * //propsArea.setCorpus(this.corpus);

		 * 

		 * FormData propsLayoutData = new FormData(); propsLayoutData.top = new

		 * FormAttachment (queryArea, 0); propsLayoutData.left = new

		 * FormAttachment (0); propsLayoutData.right = new FormAttachment (100);

		 * propsArea.setLayoutData(propsLayoutData);

		 */

		// Filters

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

		FormData filtersLayoutData = new FormData();

		filtersLayoutData.top = new FormAttachment(queryArea, 0);

		filtersLayoutData.bottom = new FormAttachment(100);

		filtersLayoutData.left = new FormAttachment(0);

		filtersLayoutData.right = new FormAttachment(100);

		filtercontrols.setLayoutData(filtersLayoutData);

		GridLayout gridLayout = new GridLayout();

		gridLayout.numColumns = 9;

		gridLayout.makeColumnsEqualWidth = false;

		filtercontrols.setLayout(gridLayout);

		Label tmp = new Label(filtercontrols, SWT.NONE);

		tmp.setText(Messages.IndexEditor_9);

		tmp.setLayoutData(new GridData(SWT.RIGHT, SWT.CENTER, false, false));

		Label lFmin = new Label(filtercontrols, SWT.NONE);

		lFmin.setText(Messages.IndexEditor_5);

		lFmin.setLayoutData(new GridData(SWT.RIGHT, SWT.CENTER, false, false));

		FminSpinner = new Spinner(filtercontrols, SWT.BORDER);

		FminSpinner.setMinimum(0);

		FminSpinner.setMaximum(9999999);

		FminSpinner.setIncrement(1);

		FminSpinner.setPageIncrement(100);

		FminSpinner.setLayoutData(new GridData(GridData.VERTICAL_ALIGN_END));

		FminSpinner.addKeyListener(listener);

		Label lFmax = new Label(filtercontrols, SWT.NONE);

		lFmax.setText(Messages.IndexEditor_6);

		lFmax.setLayoutData(new GridData(SWT.RIGHT, SWT.CENTER, false, false));

		FmaxSpinner = new Spinner(filtercontrols, SWT.BORDER);

		FmaxSpinner.setMinimum(0);

		FmaxSpinner.setMaximum(9999999);

		FmaxSpinner.setIncrement(1);

		FmaxSpinner.setPageIncrement(100);

		FmaxSpinner.setLayoutData(new GridData(GridData.VERTICAL_ALIGN_END));

		FmaxSpinner.addKeyListener(listener);

		Label lVmax = new Label(filtercontrols, SWT.NONE);

		lVmax.setText(Messages.IndexEditor_7);

		lVmax.setLayoutData(new GridData(SWT.RIGHT, SWT.CENTER, false, false));

		TmaxSpinner = new Spinner(filtercontrols, SWT.BORDER);

		TmaxSpinner.setMinimum(0);

		TmaxSpinner.setMaximum(9999999);

		TmaxSpinner.setSelection(9999999);

		TmaxSpinner.setIncrement(1);

		TmaxSpinner.setPageIncrement(100);

		TmaxSpinner.setLayoutData(new GridData(GridData.VERTICAL_ALIGN_END));

		TmaxSpinner.addKeyListener(listener);

		Label lNLigneppage = new Label(filtercontrols, SWT.NONE);

		lNLigneppage.setText(Messages.IndexEditor_8);

		lNLigneppage.setLayoutData(new GridData(SWT.RIGHT, SWT.CENTER, false, false));

		NLignePPageSpinner = new Spinner(filtercontrols, SWT.BORDER);

		NLignePPageSpinner.setMinimum(0);

		NLignePPageSpinner.setMaximum(99999);

		NLignePPageSpinner.setSelection(100);

		NLignePPageSpinner.setIncrement(1);

		NLignePPageSpinner.setPageIncrement(100);

		NLignePPageSpinner.setLayoutData(new GridData(

				GridData.VERTICAL_ALIGN_END));

		NLignePPageSpinner.addSelectionListener(new SelectionListener() {

			@Override

			public void widgetSelected(SelectionEvent e) {

			}

			@Override

			public void widgetDefaultSelected(SelectionEvent e) {

				fillDisplayArea(0, NLignePPageSpinner.getSelection());

				viewer.getTable().select(0);

				viewer.getTable().showSelection();

			}

		});

		// compose infosArea

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

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

		navigationArea.setLayoutData(new GridData(SWT.CENTER, SWT.CENTER, true,

				false));

		navigationArea.addFirstListener(new SelectionListener() {

			@Override

			public void widgetDefaultSelected(SelectionEvent e) {

			}

			@Override

			public void widgetSelected(SelectionEvent e) {

				fillDisplayArea(0, NLignePPageSpinner.getSelection());

				viewer.getTable().select(0);

				viewer.getTable().showSelection();

			}

		});

		navigationArea.addLastListener(new SelectionListener() {

			@Override

			public void widgetDefaultSelected(SelectionEvent e) {

			}

			@Override

			public void widgetSelected(SelectionEvent e) {

				int i = (index.getV()/NLignePPageSpinner.getSelection());

				int top = top = i*NLignePPageSpinner.getSelection();

				int bottom = top + NLignePPageSpinner.getSelection();

				fillDisplayArea(top, bottom);

				viewer.getTable().select(0);

				viewer.getTable().showSelection();

			}

		});

		navigationArea.addNextListener(new SelectionListener() {

			@Override

			public void widgetDefaultSelected(SelectionEvent e) {

			}

			@Override

			public void widgetSelected(SelectionEvent e) {

				int top = topLine + NLignePPageSpinner.getSelection();

				int bottom = top + NLignePPageSpinner.getSelection();

				fillDisplayArea(top,bottom);

				viewer.getTable().select(0);

				viewer.getTable().showSelection();

			}

		});

		navigationArea.addPreviousListener(new SelectionListener() {

			@Override

			public void widgetDefaultSelected(SelectionEvent e) {

			}

			@Override

			public void widgetSelected(SelectionEvent e) {

				int top = topLine - NLignePPageSpinner.getSelection();

				if (top < 0)

					top = 0;

				int bottom = top + NLignePPageSpinner.getSelection();

				fillDisplayArea(top, bottom);

				viewer.getTable().select(0);

				viewer.getTable().showSelection();

			}

		});

		// Labels

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

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

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

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

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

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

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

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

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

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

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

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

		//hide button

		isSetupShown = true;

		/*hideBtn = new Button(infosArea, SWT.PUSH);

		hideBtn.setText("Hide");

		hideBtn.addSelectionListener(new SelectionListener() {

			@Override

			public void widgetSelected(SelectionEvent e) {

				if (isSetupShown)// must hide

				{

					hideBtn.setText("Show");

					querySize = paramArea.getSize(); // save paramArea size

//					oldSize = scrollComposite.getSize(); // get head size

//					scrollComposite.setSize(oldSize.x, oldSize.y - querySize.y); // cut it

//					FormData data1 = (FormData) scrollComposite.getLayoutData();

//					data1.height = oldSize.y - querySize.y;

					paramArea.setSize(querySize.x, 0); // set paramArea size to 0

					FormData data = (FormData) paramArea.getLayoutData();

					data.height = 0;

					headComposite.layout(true); // refresh layout

					scrollComposite.layout(true); // refresh layout

					parent.pack();

					parent.layout(true);

					isSetupShown = false;

				}

				else // restore the size

				{

					hideBtn.setText("Hide");

    				Point size = scrollComposite.getSize(); // get head size

//					scrollComposite.setSize(size.x, oldSize.y); // restore original size

//					FormData data1 = (FormData) scrollComposite.getLayoutData();

//					data1.height = oldSize.y;

					paramArea.setSize(size.x, querySize.y); // restore original size

					FormData data = (FormData) paramArea.getLayoutData();

					data.height = querySize.y;

					headComposite.layout(true); // refresh layout

					scrollComposite.layout(true); // refresh

					parent.layout(true);

					isSetupShown = true;

				}

			}

			@Override

			public void widgetDefaultSelected(SelectionEvent e) {	}

		});

		 */

		// results

		FormLayout resultLayout = new FormLayout();

		resultArea.setLayout(resultLayout);

		viewer = new TableViewer(resultArea, SWT.MULTI

				| SWT.FULL_SELECTION | SWT.BORDER);

		viewer.getTable().setLinesVisible(true);

		viewer.getTable().setHeaderVisible(true);

		viewer.getTable().addKeyListener(new TableKeyListener(viewer));

		if (corpus != null && corpus.getFont() != null && corpus.getFont().length() > 0) {

			Font old = viewer.getTable().getFont();

			FontData fD = old.getFontData()[0];

			//Font f = new Font(old.getDevice(), corpus.getFont(), fD.getHeight(), fD.getStyle());

			Font font = new Font(Display.getCurrent(), corpus.getFont(), fD.getHeight(), fD.getStyle()); 

			viewer.getTable().setFont(font);

		}

		FormData tableLayoutData = new FormData();

		tableLayoutData.top = new FormAttachment(0);

		tableLayoutData.bottom = new FormAttachment(100);

		tableLayoutData.left = new FormAttachment(0);

		tableLayoutData.right = new FormAttachment(100);

		viewer.getTable().setLayoutData(tableLayoutData);

		viewer.setLabelProvider(new LineLabelProvider());

		viewer.setContentProvider(new LineContentProvider());

		viewer.setInput(new ArrayList<Property>());

		viewer.getTable().addMouseListener(new MouseAdapter() {

			@Override

			public void mouseDoubleClick(MouseEvent e) {

				Point mouseposition = new Point(e.x

						+ viewer.getTable().getHorizontalBar()

						.getSelection(), e.y);

				int col = getPointedColumn(mouseposition);

				if (col == 1) {

					IndexToConcordance.link(IndexEditor.this,

							(IStructuredSelection) viewer

							.getSelection());

				} else if (col == 2) {

					IndexToProgression.link(IndexEditor.this,

							(IStructuredSelection) viewer

							.getSelection());

				}

			}

		});

		nColumn = new TableColumn(viewer.getTable(), SWT.LEFT);

		nColumn.setText(" "); //$NON-NLS-1$

		nColumn.pack();

		unitColumn = new TableColumn(viewer.getTable(), SWT.LEFT);

		unitColumn.setText(Messages.ReferencerEditor_9);

		unitColumn.setToolTipText(Messages.ReferencerEditor_9);

		unitColumn.setWidth(200);

		unitColumn.addSelectionListener(new SelectionListener() {

			@Override

			public void widgetSelected(SelectionEvent e) {

				StatusLine.setMessage(Messages.IndexEditor_36);

				if (viewer.getTable().getSortColumn() != unitColumn) {

					viewer.getTable().setSortColumn(unitColumn);

					viewer.getTable().setSortDirection(SWT.UP);

					index.sortLines(SortMode.UNIT, false);

				} else {

					if (viewer.getTable().getSortDirection() == SWT.UP) {

						viewer.getTable().setSortDirection(SWT.DOWN);

						index.sortLines(SortMode.UNITFREQ, true);

					} else {

						viewer.getTable().setSortDirection(SWT.UP);

						index.sortLines(SortMode.UNITFREQ, false);

					}

				}

				StatusLine.setMessage(Messages.IndexEditor_37);

				fillDisplayArea(topLine, bottomLine);

			}

			@Override

			public void widgetDefaultSelected(SelectionEvent e) {

			}

		});

		freqColumn = new TableColumn(viewer.getTable(), SWT.RIGHT);

		try {

			if(partition != null)

				freqColumn.setText(Messages.FrequencyListEditorInput_4+" T="+partition.getTotalSize()); //$NON-NLS-1$

			else

				freqColumn.setText(Messages.FrequencyListEditorInput_4);

		} catch (CqiClientException e2) {

			// TODO Auto-generated catch block

			org.txm.rcpapplication.utils.Logger.printStackTrace(e2);

		}

		freqColumn.setToolTipText(Messages.FrequencyListEditorInput_4);

		freqColumn.setWidth(100);

		freqColumn.addSelectionListener(new SelectionListener() {

			@Override

			public void widgetSelected(SelectionEvent e) {

				if (viewer.getTable().getSortColumn() != freqColumn) {

					viewer.getTable().setSortColumn(freqColumn);

					viewer.getTable().setSortDirection(SWT.UP);

					index.sortLines(SortMode.FREQUNIT, false);

				} else {

					if (viewer.getTable().getSortDirection() == SWT.UP) {

						viewer.getTable().setSortDirection(SWT.DOWN);

						index.sortLines(SortMode.FREQUNIT, true);

					} else {

						viewer.getTable().setSortDirection(SWT.UP);

						index.sortLines(SortMode.FREQUNIT, false);

					}

				}

				StatusLine.setMessage(Messages.IndexEditor_37);

				fillDisplayArea(topLine, bottomLine);

			}

			@Override

			public void widgetDefaultSelected(SelectionEvent e) {

			}

		});

		// rmv/creates parts columns if needed

		if (this.partition != null) {

			List<String> partnames = this.partition.getPartNames();

			if (partnames.size() > 1)

				if (viewer.getTable().getColumnCount() < partnames

						.size() + 3) {

					for (int i = 0; i < partnames.size(); i++) {

						final TableColumn partColumn = new TableColumn(

								viewer.getTable(), SWT.RIGHT);

						try {

							partColumn.setText(partnames.get(i)+" t="+partition.getParts().get(i).getSize()); //$NON-NLS-1$

						} catch (CqiClientException e1) {

							// TODO Auto-generated catch block

							org.txm.rcpapplication.utils.Logger.printStackTrace(e1);

						}

						partColumn.setToolTipText(partnames.get(i));

						partColumn.setWidth(100);

						//						partColumn.addSelectionListener(new SelectionListener() {

						//									@Override

						//									public void widgetSelected(SelectionEvent e) {

						//										if (viewer.getTable()

						//												.getSortColumn() != partColumn) {

						//											viewer.getTable()

						//													.setSortColumn(partColumn);

						//											viewer.getTable()

						//													.setSortDirection(SWT.UP);

						//											index.sortLines(

						//													SortMode.FREQUNIT, false);

						//										} else {

						//											if (viewer.getTable()

						//													.getSortDirection() == SWT.UP) {

						//												viewer.getTable()

						//														.setSortDirection(

						//																SWT.DOWN);

						//												index

						//														.sortLines(

						//																SortMode.FREQUNIT,

						//																true);

						//											} else {

						//												viewer.getTable()

						//														.setSortDirection(

						//																SWT.UP);

						//												index.sortLines(

						//														SortMode.FREQUNIT,

						//														false);

						//											}

						//										}

						//										fillDisplayArea(topLine, bottomLine);

						//									}

						//

						//									@Override

						//									public void widgetDefaultSelected(

						//											SelectionEvent e) {

						//									}

						//								});

					}

				}

		}

		separatorColumn = new TableColumn(viewer.getTable(), SWT.LEFT);

		separatorColumn.setText(""); //$NON-NLS-1$

		separatorColumn.pack();

		initializeFields();

		createContextMenu(viewer);

		viewer.getTable().pack();

		parent.layout(true);

		//System.out.println("Part control done.");

	}

	/**

	 * Gets the pointed column.

	 *

	 * @param mouseposition the mouseposition

	 * @return the pointed column

	 */

	public int getPointedColumn(Point mouseposition) {

		int x = mouseposition.x; // + lineTableViewer.getTable().get;

		int sumWidthColumn = this.nColumn.getWidth();

		if (x < sumWidthColumn)

			return 0;

		sumWidthColumn += this.unitColumn.getWidth();

		if (x < sumWidthColumn)

			return 1;

		sumWidthColumn += this.freqColumn.getWidth();

		if (x < sumWidthColumn)

			return 2;

		return 2;

	}

	/**

	 * Creates the context menu.

	 *

	 * @param tableViewer the table viewer

	 */

	private void createContextMenu(TableViewer tableViewer) {

		MenuManager menuManager = new MenuManager();

		Menu menu = menuManager.createContextMenu(tableViewer.getTable());

		tableViewer.getTable().setMenu(menu);

		getSite().registerContextMenu(menuManager, tableViewer);

		getSite().setSelectionProvider(tableViewer);

	}

	boolean initializing = false; // prevent properties widget listener to activate when adding new properties (and refresh the result)

	/**

	 * Initialize fields.

	 */

	public void initializeFields() {

		initializing = true;

		if (this.index != null) {

			// query

			this.queryWidget.memorize(index.getQuery().getQueryString());

			// props

			ArrayList<Property> availables = new ArrayList<Property>();

			try {

				for (Property p : index.getCorpus().getOrderedProperties())

					if (!index.getProperties().contains(p))

						availables.add(p);

			} catch (CqiClientException e) {

				org.txm.rcpapplication.utils.Logger.printStackTrace(e);

				initializing = false;

			}

			ArrayList<Property> props = new ArrayList<Property>();

			props.addAll(index.getProperties());

			this.propsArea.setProperties(availables, props);

			// min, max

			this.FminSpinner.setSelection(index.getFilterFmin());

			this.FmaxSpinner.setSelection(index.getFilterFmax());

			if (index.getPartition() != null)

				setPartName(index.getPartition().getName()+": "+index.getName()); //$NON-NLS-1$

			else

				setPartName(index.getCorpus().getName()+": "+index.getName()); //$NON-NLS-1$

			queryWidget.setFocus();

			index.filterLines(index.getFilterFmin(), index

					.getFilterFmax());

			index.sortLines(SortMode.FREQUNIT, true);

			fillDisplayArea(0, NLignePPageSpinner.getSelection());

		} else if (this.corpus != null) {

			// no query

			queryWidget.setText(""); //$NON-NLS-1$

			// props

			this.propsArea.setCorpus(corpus);

			// min, max

			this.FminSpinner.setSelection(1);

			this.FmaxSpinner.setSelection(9999999);

			if (partition != null)

				setPartName(Messages.ObjectExplorer_9 + partition.getName());

			else

				setPartName(Messages.ObjectExplorer_9 + corpus.getName());

			queryWidget.setFocus();

		} else {

			System.err.println(Messages.IndexEditor_22);

		}

		initializing = false;

	}

	/**

	 * Fill display area.

	 *

	 * @param from the from

	 * @param to the to

	 */

	public void fillDisplayArea(int from, int to) {

		// System.out.println("call fill from "+from+" to "+to);

		from = Math.max(from, 0);

		to = Math.min(to, index.getV());

		List<Line> lines = null;

		if (index.getV() > 0) {

			lines = index.getLines(from, to);

		} else

			lines = new ArrayList<Line>();

		navigationArea.setInfoLineText(""+(from + 1), //$NON-NLS-1$

				"-" + (to) + " / " + index.getV()); //$NON-NLS-1$ //$NON-NLS-2$

		navigationArea.setPreviousEnabled(from > 0);

		navigationArea.setFirstEnabled(from > 0);

		navigationArea.setNextEnabled(to < index.getV());

		navigationArea.setLastEnabled(to < index.getV());

		lFminInfo.setText(Messages.IndexEditor_25 + index.getFmin());

		lFmaxInfo.setText(Messages.IndexEditor_26 + index.getFmax());

		lTInfo.setText(Messages.IndexEditor_27 + index.getT());

		lVInfo.setText(Messages.IndexEditor_28 + index.getV());

		lVInfo.getParent().layout();

		String unitColumnHeader = ""; //$NON-NLS-1$

		for (Property p : index.getProperties())

			unitColumnHeader += p.toString() + propSeparator;

		if (unitColumnHeader.length() > 0)

			unitColumnHeader = unitColumnHeader.substring(0, unitColumnHeader

					.length() - 1);

		unitColumn.setText(unitColumnHeader);

		viewer.setInput(lines);

		viewer.refresh();

		// System.out.println("table refreshed from "+from+" to "+to+" with : "+lines);

		topLine = from;

		bottomLine = to;

		for (TableColumn col : viewer.getTable().getColumns()) {

			col.pack();

		}

	}

	/* (non-Javadoc)

	 * @see org.eclipse.ui.part.EditorPart#getTitleToolTip()

	 */

	@Override

	public String getTitleToolTip() {

		if (index != null) {

			String str;

			if (partition != null)

				str = NLS.bind(Messages.IndexEditor_17,

						new Object[]{partition.getName(), index.getQuery().getQueryString(), index.getProperties(), index.getFmin(), index.getFmax()});

			else

				str = NLS.bind(Messages.IndexEditor_18,

						new Object[]{corpus.getName(), index.getQuery().getQueryString(), index.getProperties(), index.getFmin(), index.getFmax()});

			return str;

		}