Laboratoire ICAR » Plateforme TXM

				//					}

				//				}

					createButton.setEnabled(true); // there is a text selection in the browser

			}

			@Override

						testIfAwordSpanIsSelected(ids);				

						return;

					}

				}

				if (e.button != 1) {

					if (debug) System.out.println(" NO LEFT"); //$NON-NLS-1$

					//System.out.println("not a left click");

//

package org.txm.edition.rcp.handlers;

import org.eclipse.core.commands.ExecutionEvent;

import org.eclipse.jface.viewers.ISelection;

import org.txm.core.results.TXMResult;

import org.txm.links.rcp.handlers.SendSelectionToQueryable;

import org.txm.rcp.editors.IEditionEditor;

import org.txm.rcp.utils.SWTEditorsUtils;

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

/**

 * Sends the selected text of an edition to compute another command.

 * 

 */

public class SendEditionTo extends SendSelectionToQueryable {

	@Override

	public String createQuery(ExecutionEvent event, ISelection selection) {

		IEditionEditor editor = (IEditionEditor) SWTEditorsUtils.getActiveEditor(event);

	}

	@Override

import org.eclipse.swt.browser.ProgressListener;

import org.eclipse.swt.events.MenuEvent;

import org.eclipse.swt.events.MenuListener;

import org.eclipse.swt.events.SelectionEvent;

import org.eclipse.swt.events.SelectionListener;

import org.eclipse.swt.widgets.Composite;

import org.txm.utils.logger.Log;

public class EditionPanel extends BrowserViewer implements ISelectionProvider {

	private ProgressListener progresslistener;

	//	private List<String> wordids;

	//	private List<String> lineids;

	protected SynopticEditionEditor synopticEditionEditor;

	private ISelectionProvider selProvider;

	private MenuManager menuManager;

	private HashSet<int[]> highlightedAreas = null;

	//HashMap<String, ArrayList<RGBA>> highlightedColorSpans = new HashMap<String, ArrayList<RGBA>>(); // background color

	HashMap<String, ArrayList<RGBA>> highlightedColorPerWordIDS = new HashMap<String, ArrayList<RGBA>>(); // background color

	public static final String STYLE_NORMAL = "normal"; //$NON-NLS-1$

	public static final String STYLE_ITALIC = "italic"; //$NON-NLS-1$

	public static final String VARIANT_SMALLCAPS = "small-caps"; //$NON-NLS-1$

	HashMap<String, String> fontVariantPerWordIDS = new HashMap<String, String>();

	String focusedWordID = null;

	public static final String highlightscript = "try { var elt = document.getElementById(\"%s\");" + //$NON-NLS-1$ //$NON-NLS-2$

			"elt.style.backgroundColor=\"rgb(%s,%s,%s)\";" + //$NON-NLS-1$

			//"elt.style.paddingLeft=\"3px\";" + //$NON-NLS-1$

	public static final String variantscriptRuleFast = "sheet.insertRule(\"#%s {font-variant:%s;}\", 0);"; //$NON-NLS-1$

	public static final String famillyscriptRuleFast = "sheet.insertRule(\"#%s {font-familly:%s;}\", 0);"; //$NON-NLS-1$

	public static final String weightscriptRuleFast = "sheet.insertRule(\"#%s {font-weight:%s;}\", 0);"; //$NON-NLS-1$

	public static final String highlightscriptRule = "sheet.insertRule(\"span[id=\\\"%s\\\"] {background-color:rgba(%s,%s,%s,%s); }\", 0);"; //$NON-NLS-1$

	public static final String clearhighlightscript = "try { var elt = document.getElementById(\"%s\"); elt.style.backgroundColor=\"white\";elt.style.fontWeight=\"\";" + //$NON-NLS-1$

			"} catch (e) { };"; //$NON-NLS-1$

	public String functions = 

			""//"alert(\"loading functions\");" //$NON-NLS-1$

	protected boolean fastWordHighLight = SynopticEditionPreferences.getInstance().getBoolean(SynopticEditionPreferences.FAST_HIGHLIGHT);

	private ArrayList<ProgressListener> beforeHighlighListeners;

	public ArrayList<ProgressListener> getBeforeHighlighListeners() {

		this.synopticEditionEditor = synopticEditionEditor;

		this.currentEdition = edition;

		this.currentText = currentEdition.getText();

		File functionsFile = null;

		try {

			Bundle bundle = Platform.getBundle("org.txm.edition.rcp"); //$NON-NLS-1$

			URL fileURL = bundle.getEntry("res/js/functions.js"); //$NON-NLS-1$

			URL r = FileLocator.resolve(fileURL);

			Log.fine("Load JS functions from: "+r);

			functions = IOUtils.getText(r, "UTF-8"); //$NON-NLS-1$

		} catch (Exception e) {

			Log.severe(EditionUIMessages.bind(EditionUIMessages.error_while_reading, functionsFile, e.getLocalizedMessage()));

			Log.printStackTrace(e);

		}

		beforeHighlighListeners = new ArrayList<ProgressListener>();

		afterHighlighListeners = new ArrayList<ProgressListener>();

		progresslistener = new ProgressListener() {

			@Override

			public void changed(ProgressEvent event) { }

			@Override

			public void completed(ProgressEvent event) {

					if (!execute(functions)) { // build the sheet if not present in the HTML DOM

						Log.fine("JS execution (init) error with="+functions); //$NON-NLS-1$

					} else {

					}

				}

				// do something before the highlight is done

				for (ProgressListener pl : beforeHighlighListeners) { pl.completed(event);}

				//System.out.println("highlight: "+highlightedColorPerWordIDS);

				StringBuilder buffer = new StringBuilder();

				//buffer.append("alert(\"\"+sheet);\n");

				} else {

					buffer.append("try { while(sheet.cssRules.length > 0) sheet.deleteRule(0); } catch (e) {};\n"); // empty style //$NON-NLS-1$

				}

				if (buffer.length() > 0) {

					if (!execute(buffer.toString())) {

						Log.fine("JS execution error (delete cssRules) with="+buffer);

				buffer = new StringBuilder();

				String firstWord = currentPage.getWordId();

				Page nextPage = currentEdition.getNextPage(currentPage);

				String lastWord = "w_999999999"; //$NON-NLS-1$

				for (String wordid : highlightedColorPerWordIDS.keySet()) {

					//Log.finest("words to highlight: "+highlightedColorPerWordIDS);

					if (highlightedColorPerWordIDS.get(wordid).size() == 0) continue; // error

					//if (!slowWordHighLight) { //TODO: this code must be replaced with word position instead of word id comparaison

					if (Edition.isFirstGTthanSecond(wordid, firstWord) < 0) continue; // skip the word to highlight

					if (Edition.isFirstGTthanSecond(lastWord, wordid) < 0) continue; // skip the word to highlight

					//n++;

					RGBA composite = new RGBA(0,0,0,0f);

					int size = highlightedColorPerWordIDS.get(wordid).size();

					for (RGBA color : highlightedColorPerWordIDS.get(wordid)) {

						composite.r += color.r;

						composite.g += color.g;

						composite.b += color.b;

						composite.a += color.a;

					}

					composite.r /= size;

					composite.g /= size;

					composite.b /= size;

					String s = null;

					if (!fastWordHighLight) {

						//s = String.format(highlightscriptRule, wordid, composite.r, composite.g, composite.b, composite.a);

						s = String.format(highlightscriptRuleFast, wordid.replace(" ", "\\ "), composite.r, composite.g, composite.b, composite.a); //$NON-NLS-1$ //$NON-NLS-2$

						//						s = String.format(highlightscriptRuleFast, wordid, composite.r, composite.g, composite.b, composite.a);

					}

					buffer.append(s+"\n"); //$NON-NLS-1$

				}

				if (buffer.length() > 0) {

					if (!execute(buffer.toString())) {

						Log.fine("JS execution (highlight) error with="+buffer);

				buffer = new StringBuilder();

				//				for (String wordidslist : highlightedColorSpans.keySet()) {

				//					RGBA composite = new RGBA(0,0,0,0f);

				//					int size = highlightedColorSpans.get(wordidslist).size();

				//					cmd += "wrap(l, \""+wordidslist+"\";\n";

				//					buffer.append(cmd+"\n");

				//				}

				for (String wordid : fontColorPerWordIDS.keySet()) {

					RGBA composite = new RGBA(0,0,0,0f);

					int size = fontColorPerWordIDS.get(wordid).size();

					for (RGBA color : fontColorPerWordIDS.get(wordid)) {

						composite.r += color.r;

						composite.g += color.g;

						composite.b += color.b;

						composite.a += color.a;

					}

					composite.r /= size;

					composite.g /= size;

					composite.b /= size;

					String s = String.format(colorscriptRuleFast, wordid, composite.r, composite.g, composite.b, composite.a);

					buffer.append(s+"\n"); //$NON-NLS-1$

				}

				if (buffer.length() > 0) {

					if (!execute(buffer.toString())) {

						Log.fine("JS execution (color) error with="+buffer);

				buffer = new StringBuilder();

				for (String wordid : fontSizePerWordIDS.keySet()) {

					String s = String.format(sizescriptRuleFast, wordid, fontSizePerWordIDS.get(wordid));

					buffer.append(s+"\n"); //$NON-NLS-1$

				}

				for (String wordid : fontWeightPerWordIDS.keySet()) {

					String s = null;

					if (!fastWordHighLight) {

					}

					buffer.append(s+"\n"); //$NON-NLS-1$

				}

				for (String wordid : fontFamillyPerWordIDS.keySet()) {

					String s = String.format(famillyscriptRuleFast, wordid, fontFamillyPerWordIDS.get(wordid));

					buffer.append(s+"\n"); //$NON-NLS-1$

				}

				if (buffer.length() > 0) {

					if (!execute(buffer.toString())) {

						Log.fine("JS execution (font) error with="+buffer);

				buffer = new StringBuilder();

				if (focusedWordID != null) {

					//System.out.println("Focus on: "+focusedWordID);

					String s = "try { showElementIfNeeded(document.getElementById(\"" + focusedWordID + "\")); } catch (e) {document.getElementById(\"" + focusedWordID + "\").scrollIntoView();};"; //$NON-NLS-1$ //$NON-NLS-2$ //$NON-NLS-3$

					buffer.append(s+"\n"); //$NON-NLS-1$

				}

				if (buffer.length() > 0) {

					if (execute(buffer.toString())) {

						focusedWordID = null; // focus one time

				buffer = new StringBuilder();

				if (highlightedAreas != null) {

					for (int[] pos : highlightedAreas) {

						if (pos == null || pos.length != 4) continue;

						break;// one word only for now

					}

				}

				//System.out.println(buffer);

				if (buffer.length() > 0) {

					if (!execute(buffer.toString())) {

				for (ProgressListener pl : afterHighlighListeners) { pl.completed(event);}

			}

		};

		getBrowser().addProgressListener(progresslistener);

		new CommandLink (synopticEditionEditor, getBrowser());

		new EditionLink (synopticEditionEditor, getBrowser());

	}

	/**

	 * Bypass BrowserViewer restriction on the getBrowser method

	 */

	public Browser getBrowser() {

		return super.getBrowser();

	}

	/**

	 * Bypass BrowserViewer restriction on the getBrowser method

	 */

	public String getDOM() {

		return "";//execute("return document.innerHTML"; //$NON-NLS-1$

	}

	public ISelectionProvider getSelectionProvider() {

		return selProvider;

	}

	public void setHighlightWordsById(RGBA color, HashSet<String> wordids) {

		for (String wordid : wordids) {

			if (this.highlightedColorPerWordIDS.get(wordid) != null) {

			hs.add(color);

		}

	}

	public void addHighlightWordsById(RGBA color, String wordid) {

		if (!this.highlightedColorPerWordIDS.containsKey(wordid)) {

			this.highlightedColorPerWordIDS.put(wordid, new ArrayList<RGBA>());

		}

		this.highlightedColorPerWordIDS.get(wordid).add(color);

	}

	/**

	 * Can be called to refresh the page word styles but only when the page is loaded

	 */

	public void updateWordStyles() {

		progresslistener.completed(null);

	}

	public void addHighlightWordsById(RGBA color, Collection<String> wordids) {

		for (String wordid : wordids) {

			addHighlightWordsById(color, wordid);

		}

	}

	public void removeHighlightWordsById(RGBA color, Collection<String> wordids) {

		//System.out.println("Call removeHighlightWordsById: "+wordids+" color="+color);

		StringBuffer buffer = new StringBuffer();

				buffer.append(String.format(clearhighlightscript, wordid)+"\n"); //$NON-NLS-1$

			}

		}

		if (buffer.length() > 0) execute(buffer.toString());

	}

	public void removeHighlightWordsById(RGBA color, String wordid) {

		if (highlightedColorPerWordIDS.get(wordid) == null) return; // nothing to do

		//System.out.println("remove color="+color+" from id="+wordid);

		this.highlightedColorPerWordIDS.get(wordid).remove(color);

		if (this.highlightedColorPerWordIDS.get(wordid).size() == 0) {

			this.highlightedColorPerWordIDS.remove(wordid);

		}

	}

	/**

	 * Open the page containing the word with ID=$line_wordid

	 * @param line_wordid

	 * @return true if the page changed

	 */

	public boolean backToText(Text text, String line_wordid) {

		String name = currentEdition.getName();

		Edition edition = text.getEdition(name);

		if (edition == null) {

			String s = EditionUIMessages.bind(EditionUIMessages.noEditionFoundForTextEqualsP0AndEditionEqualsP1, text, name);

			System.out.println(s);

		return false;

	}

	/**

	 * First page.

	 */

			System.out.println(EditionUIMessages.bind(EditionUIMessages.failToRetrieveFirstPageOfEditionEqualsP0AndTextEqualsP1, currentEdition.getName(), currentText.getName()));

			return;

		}

		this.setURL(currentPage.toURL());

		//page_label.setText(makePageLabel());

	}

	public void setURL(String url) {

		if (!this.browser.isDisposed()) {

			super.setURL(url);

		}

	}

	/**

	 * Last page.

	 */

	public void lastPage() {

		// System.out.println(Messages.TxmBrowser_2+currentPage);

		if (currentPage != null && currentPage.getFile().equals(currentEdition.getLastPage().getFile())) {

			return;

		}

		currentText = currentEdition.getText();

		this.setURL(currentPage.toURL());

	}

	/**

	 * Previous page.

	 */

		// System.out.println(Messages.TxmBrowser_3+currentPage);

		if (currentPage != null) {

			Page previous = currentEdition.getPreviousPage(currentPage);

			if (previous == currentPage) {

				previousText(true);

			} else {

		}

		//page_label.setText(makePageLabel());

	}

	/**

	 * Next page.

	 */

		}

		//page_label.setText(makePageLabel());

	}

	public void firstText() {

		//Text current = this.currentPage.getEdition().getText();

		Project project = currentText.getProject();

			return;

		}

		Text firstText = project.getText(id);

		if (firstText != null) {

			String editionName = currentEdition.getName();

			Edition tmp = firstText.getEdition(editionName);

			this.setURL(currentPage.toURL());

		}

	}

	/**

	 * Next text.

	 */

			return;

		}

		Text lastText = project.getText(id);

		if (lastText != null) {

			String editionName = currentEdition.getName();

			Edition tmp = lastText.getEdition(editionName);

				System.out.println(EditionUIMessages.bind(EditionUIMessages.noEditionWithNameEqualsP0AvailableForTextEqualsP1, editionName, lastText.getName()));

				return;

			}

			currentEdition = tmp;

			currentPage = currentEdition.getFirstPage(); 

			currentText = lastText;

				StatusLine.setMessage("No text next"); //$NON-NLS-1$

				return;

			}

			this.setURL(currentPage.toURL());

			//page_label.setText(makePageLabel());

		}

		// System.out.println("Next texts "+nextText);

	}

	/**

	 * Previous text.

	 * @param fromNextText if true  it means the user was reading the next text and then we show the last page of the previous text

	 */

	public void previousText(boolean fromNextText) {

		Project project = currentText.getProject();

		String id;

		try {

			return;

		}

		Text previousText = project.getText(id);

		if (previousText != null) {

			String editionName = currentEdition.getName();

			Edition tmp = previousText.getEdition(editionName);

			if (tmp == null) {

				System.out.println(EditionUIMessages.bind(EditionUIMessages.noEditionWithNameEqualsP0AvailableForTextEqualsP1, editionName, previousText.getName()));

			} else {

				currentPage = currentEdition.getFirstPage(); 

			}

			if (currentPage == null) {

				StatusLine.setMessage("No previous text"); //$NON-NLS-1$

				return;

		}

		// System.out.println("Previous texts "+previousText);

	}

	/**

	 * Next text.

	 */

			return;

		}

		Text nextText = project.getText(id);

		if (nextText != null) {

			String editionName = currentEdition.getName();

			Edition tmp = nextText.getEdition(editionName);

				return;

			}

			currentEdition = tmp;

			currentPage = currentEdition.getFirstPage(); 

			currentText = nextText;

			if (currentPage == null) {

				StatusLine.setMessage("No text next"); //$NON-NLS-1$

				return;

			}

			this.setURL(currentPage.toURL());

			//page_label.setText(makePageLabel());

		}

		// System.out.println("Next texts "+nextText);

	}

	public void setText(Text text, boolean refresh) {

		String editionName = currentEdition.getName();

		Edition tmp = text.getEdition(editionName);

			System.out.println(EditionUIMessages.bind(EditionUIMessages.noEditionWithNameEqualsP0AvailableForTextEqualsP1, editionName, text.getName()));

			return;

		}

		currentEdition = tmp;

		currentPage = currentEdition.getFirstPage(); 

		currentText = text;

			StatusLine.setMessage("No text next"); //$NON-NLS-1$

			return;

		}

		if (refresh) {

			this.setURL(currentPage.toURL());

		}

		//page_label.setText(makePageLabel());

	}

	/**

	 * Gets the current page.

	 *

	public Page getCurrentPage() {

		return currentPage;

	}

	/**

	 * Gets the current text.

	 *

	public Text getCurrentText() {

		return currentText;

	}

	/**

	 * Make page label.

	 *

	public String makePageLabel() {

		return currentPage.getName() + " / " + currentPage.getEdition().getNumPages(); //$NON-NLS-1$

	}

	/**

	 * Show page.

	 *

		currentPage = page;

		this.setURL(currentPage.toURL());

	}

	public void reloadPage() {

		this.setURL(currentPage.toURL());

	}

	//	/**

	//	 * Sets the edition.

	//	 *

	//	public void setEdition(Edition edition) {

	//		this.currentEdition = edition;

	//	}

	static String SCRIPT01 = "var html = \"\";"+ //$NON-NLS-1$

			"if (typeof window.getSelection != \"undefined\") {"+ // modern Web browsers //$NON-NLS-1$

			"var sel = window.getSelection();"+ //$NON-NLS-1$

			"}" + //$NON-NLS-1$

			"}" + //$NON-NLS-1$

			"return html"; //$NON-NLS-1$

	public String getTextSelectionDOM() {

		return ((String) evaluate(SCRIPT01));

	}

	/**

	 * 

	 * @return array of 2 word id, if only one word is selected 2nd value is null

	 */

	public String[] getWordSelection() {

		//System.out.println("getWordSelection");

		String SCRIPT02_getspans = ""//functions //$NON-NLS-1$

				+"var all = [];" //$NON-NLS-1$

				+"\n}" //$NON-NLS-1$

				//+"alert('result='+all)"

				+"\nreturn all;"; //$NON-NLS-1$

		//		System.out.println(functions);

		//		System.out.println(SCRIPT02_getspans);

		Object ret = evaluate(SCRIPT02_getspans);

		if (ret instanceof Object[]) {

			Log.finer("selection word ids="+Arrays.toString((Object[])ret)); //$NON-NLS-1$

			return null;

		}

	}

	public String getTextSelection() {

		//System.out.println("DOM="+getTextSelectionDOM());

		String rez =  getTextSelectionDOM().replaceAll("<[^>]+>", ""); //$NON-NLS-1$ //$NON-NLS-2$

		//System.out.println("STR="+rez);

		return rez;

	}

	@Override

	public void addSelectionChangedListener(ISelectionChangedListener listener) {	}

	@Override

	public ISelection getSelection() {

		return new SynopticTextSelection(this);

	}

	@Override

	public void removeSelectionChangedListener(

			ISelectionChangedListener listener) {	}

	@Override

	public void setSelection(ISelection selection) {	}

	static public class SynopticTextSelection implements ISelection  {

		String str;

		public SynopticTextSelection(EditionPanel panel) {

			this.str = panel.getTextSelection();

		}

		@Override

		public boolean isEmpty() {

			return str != null && str.length() > 0;

		}

		public String getTextSelection() {

			return str;

		}

	}

	public Edition getEdition() {

		return currentEdition;

	}

	public MenuManager getMenuManager() {	

		return menuManager;

	}

	public void initMenu() {

		// create a new menu	

		menuManager = new MenuManager(); //$NON-NLS-1$

		Menu menu = menuManager.createContextMenu(this.getBrowser());

		menu.addMenuListener(new MenuListener() {

			@Override

			public void menuShown(MenuEvent e) {

				Menu menu = menuManager.getMenu();

				if (menu == null) return;

				new MenuItem(menu, SWT.SEPARATOR);

				MenuItem copyItem = new MenuItem(menu, SWT.NONE);

				copyItem.setText(EditionUIMessages.copyTextSelection);

				copyItem.addSelectionListener(new SelectionListener() {

					@Override

					public void widgetSelected(SelectionEvent e) {

						String text = EditionPanel.this.getTextSelection();

							IOClipboard.write(text);

						}

					}

					@Override

					public void widgetDefaultSelected(SelectionEvent e) { }

				});

				String text = EditionPanel.this.getTextSelection();

				copyItem.setEnabled(text != null && text.length() > 0);

				MenuItem reloadItem = new MenuItem(menu, SWT.NONE);

				reloadItem.setText(EditionUIMessages.reload);

				reloadItem.addSelectionListener(new SelectionListener() {

					@Override

					public void widgetSelected(SelectionEvent e) {

						EditionPanel.this.getBrowser().refresh();

					}

					@Override

					public void widgetDefaultSelected(SelectionEvent e) { }

				});

				MenuItem backItem = new MenuItem(menu, SWT.NONE);

				backItem.setText(EditionUIMessages.back);

				backItem.addSelectionListener(new SelectionListener() {

					@Override

					public void widgetSelected(SelectionEvent e) {

						EditionPanel.this.getBrowser().back();

					}

					@Override

					public void widgetDefaultSelected(SelectionEvent e) { }

				});

				MenuItem forwardItem = new MenuItem(menu, SWT.NONE);

				forwardItem.setText(EditionUIMessages.forward);

				forwardItem.addSelectionListener(new SelectionListener() {

					@Override

					public void widgetSelected(SelectionEvent e) {

						EditionPanel.this.getBrowser().forward();

					}

					@Override

					public void widgetDefaultSelected(SelectionEvent e) { }

				});

			}

			@Override

			public void menuHidden(MenuEvent e) {

				// TODO Auto-generated method stub

		// replace the menu

		this.getBrowser().setMenu(menu); 

	}

	public void initSelectionProvider() {

		selProvider = new ISelectionProvider() {

			@Override

				};

				return sel;

			}

			@Override

			public void addSelectionChangedListener(ISelectionChangedListener listener) { }

		};

	}

	public void goToPage(String name) {

		Page next = currentEdition.get(name);

		// System.out.println(Messages.TxmBrowser_4+currentPage);

		if (next != null) {

			System.out.println(EditionUIMessages.bind(EditionUIMessages.pageNotFoundP0, name));

		}

	}

	public void setFocusedWordID(String focusid) {

		this.focusedWordID = focusid;

	}

	public void setHighlightedArea(HashSet<int[]> positions) {

		Log.finer("Highlight area: not implemented");

	}

	public void expandSelectionTo(String[] ids) {

		// expand selection

		if (ids == null) return;

		if (ids.length == 0) return;

		//TODO: enable the feature for Windows computers

		//if (System.getProperty("os.name").toLowerCase().contains("windows")) return; 

		//this.getBrowser().evaluate("alert('expand selection');");

		//System.out.println("EXPAND SELECTION TO "+Arrays.toString(ids));

		String id1 = ids[0];

				+"sel.addRange(range);\n" //$NON-NLS-1$

				+ "\n" //$NON-NLS-1$

				+ "return null;"; //$NON-NLS-1$

		//System.out.println("Eval...\n"+SCRIPT02_expand);

		evaluate(SCRIPT02_expand);

		return;

	}

	public void addFontWeightWordsById(String weight, List<String> wordids) {

		for (String wordid : wordids) {

			addFontWeightWordsById(weight, wordid);

		}

	}

	public void addFontWeightWordsById(String weight, String wordid) {

		this.fontWeightPerWordIDS.put(wordid, weight);

	}

	public void removeFontWeightWordsById(String wordid) {

		this.fontWeightPerWordIDS.remove(wordid);

	}

	public void removeFontWeightWordsById(List<String> wordids) {

		for (String wordid : wordids) {

			removeFontWeightWordsById(wordid);

		}

	}

	/**

	 * Clears all highlighted words.

	 */

	public void removeHighlightWords() {

		// FIXME: SJ: this code leads to a concurrency modification exception on Windows

		// SJ: new version tests

		highlightedColorPerWordIDS.clear();

	 * 

	 * @return the first and last word ID covered by the text selection of the first EditionPanel

	 */

		for (EditionPanel p : editionPanels.values()) {

			return p.getWordSelection();

		}