Laboratoire ICAR » Plateforme TXM

import java.io.File;

import java.net.URL;

import java.util.ArrayList;

import java.util.Arrays;

import java.util.Collection;

import org.txm.objects.Project;

import org.txm.objects.Text;

import org.txm.rcp.StatusLine;

import org.txm.rcp.editors.CommandLink;

import org.txm.rcp.editors.TXMBrowserEditor;

import org.txm.rcp.editors.menu.PagePropertiesMenu;

import org.txm.utils.logger.Log;

public class EditionPanel extends BrowserViewer implements ISelectionProvider {

	private ProgressListener progressListener;

	// private List<String> wordids;

	// private List<String> lineids;

	/** The edition. */

	Text currentText;

	String editionName;

	Edition currentEdition;

	Page currentPage;

	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<>(); // 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 STYLE_OBLIQUE = "oblique"; //$NON-NLS-1$

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

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

	public static final String WEIGHT_BOLD = "bold"; //$NON-NLS-1$

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

	HashMap<String, ArrayList<RGBA>> fontColorPerWordIDS = new HashMap<>();

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

	public static final String SIZE_MEDIUM = "medium"; //$NON-NLS-1$

	public static final String SIZE_LARGE = "larger"; //$NON-NLS-1$

	public static final String SIZE_SMALLER = "smaller"; //$NON-NLS-1$

	public static final String SIZE_LARGER = "larger"; //$NON-NLS-1$

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

	public static final String FAMILLY_TIMES = "\"Times New Roman\", Times"; //$NON-NLS-1$

	public static final String FAMILLY_ARIAL = "Arial"; //$NON-NLS-1$

	public static final String FAMILLY_COURIER = "\"Courier New\", Courier"; //$NON-NLS-1$

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

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

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

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

	String focusedWordID = null;

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

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

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

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

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

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

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

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

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

	public static final String stylescriptRuleFast = "sheet.insertRule(\"#%s {font-style:%s;}\", 0);"; //$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$

			+ "\ngetNodeText = function getNodeText(node) {" //$NON-NLS-1$

			+ "\n	if (typeof node == 'string') return node;" //$NON-NLS-1$

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

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

			+ "\n} catch(e) {Element.prototype.scrollIntoViewIfNeeded = Element.prototype.scrollIntoView}"; //$NON-NLS-1$

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

	private ArrayList<ProgressListener> beforeHighlighListeners;

	public ArrayList<ProgressListener> getBeforeHighlighListeners() {

		return beforeHighlighListeners;

	}

	private ArrayList<ProgressListener> afterHighlighListeners;

	private CommandLink cmdLink;

	private EditionLink editionLink;

	public ArrayList<ProgressListener> getAfterHighlighListeners() {

		return beforeHighlighListeners;

	}

	public Object evaluate(String code) {

		if (Log.getLevel().intValue() <= Level.FINEST.intValue()) System.out.println(code);

		try {

			if (getBrowser() == null) return null;

			return getBrowser().evaluate(code);

		}

		return null;

	}

	public boolean execute(String code) {

		if (Log.getLevel().intValue() <= Level.FINEST.intValue()) System.out.println(code);

		try {

			//System.out.println("EXECUTE: "+code.replace("\n", " RET ").subSequence(0, Math.min(200, code.length())));

		}

		return false;

	}

	public EditionPanel(SynopticEditionEditor synopticEditionEditor, Composite parent, int style, String editionName) {

		super(parent, style);

		this.synopticEditionEditor = synopticEditionEditor;

		this.editionName = editionName;

		// this.currentEdition = edition;

		// this.currentText = currentEdition.getText();

		File functionsFile = null;

		try {

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

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

			Log.printStackTrace(e);

		}

		beforeHighlighListeners = new ArrayList<>();

		afterHighlighListeners = new ArrayList<>();

		//		this.browser.addLocationListener(new LocationListener() {

		//			

		//			@Override

		//				if (editionLink != null) cmdLink.dispose();

		//			}

		//		});

		this.addDisposeListener(new DisposeListener() { // clean the BrowserFunction s

			@Override

			public void widgetDisposed(DisposeEvent e) {

				//				System.out.println("dispose listener called");

				if (browser!= null && !browser.isDisposed()) browser.dispose();

			}

		});

		if (cmdLink == null) {

			cmdLink = new CommandLink(synopticEditionEditor, browser);

		}

		//				editionLink = new EditionLink(synopticEditionEditor, browser);

		//			}

		//		});

		progressListener = new ProgressListener() {

			@Override

			public void changed(ProgressEvent event) {}

			@Override

			public synchronized void completed(ProgressEvent event) {

				Browser browser = getBrowser();

				Object o = browser.evaluate("return typeof " + CommandLink.FCT + ";");

				if ("undefined".equals(o)) {

					editionLink = new EditionLink(synopticEditionEditor, browser);

					//System.out.println("rebuild editionLink");

				}

				Object rez = evaluate("return typeof sheet;"); //$NON-NLS-1$

				if ("undefined".equals(rez)) { //$NON-NLS-1$

					Object loadResult = evaluate(functions);

						Log.finer("JS functions loaded.");

					}

				}

				// 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();

				Log.finest("EditionPanel " + currentEdition + " reload " + currentPage);

				if (currentPage != null && currentEdition != null) { // avoid null pointer

					String firstWord = currentPage.getWordId();

					Page nextPage = currentEdition.getNextPage(currentPage);

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

					// System.out.println("firstWord="+firstWord+" lastWord="+lastWord);

					// int n = 0;

					// long start = System.currentTimeMillis();

					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$

					//String s = "document.getElementById(\"" + focusedWordID + "\").scrollIntoView();"; //$NON-NLS-1$ //$NON-NLS-2$ //$NON-NLS-3$

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

				}

				if (buffer.length() > 0) {

					//Object rez2 = execute(buffer.toString());

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

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

					}

				}

				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())) {

					}

				}

				// System.out.println("n="+n+" time="+(System.currentTimeMillis()-start));

				// do something after the highlight is done

				for (ProgressListener pl : afterHighlighListeners) {

					pl.completed(event);

				}

			}

		};

		getBrowser().addMouseListener(new MouseListener() {

			boolean dblClick = false;

			boolean debug = true;

			private int t, x, y;

			@Override

			public void mouseDoubleClick(MouseEvent e) {

				if (debug) Log.finest("DOUBLE CLICK"); //$NON-NLS-1$

				dblClick = true;

			}

			@Override

			public void mouseDown(MouseEvent e) {

				if (debug) Log.finest("MOUSE DOWN"); //$NON-NLS-1$

				dblClick = false;

				t = e.time;

				x = e.x;

				y = e.y;

			}

			@Override

			public void mouseUp(MouseEvent e) {

				if (dblClick) { // doucle click raised by mouseDoubleClick

					dblClick = false;

					return; // stop right now ! :-o

				}

				if (debug) Log.finest("MOUSE UP"); //$NON-NLS-1$

				EditionPanel panel = EditionPanel.this;

				// filter click that are not a left simple click (no drag)

				// System.out.println("click count="+e.count+" button="+e.button+" time="+e.time+" diff="+(e.time-t)+" dist="+(Math.abs(e.x - x) + Math.abs(e.y - y)));

				if (e.count > 1) {

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

					return;

				}

				int dist = Math.abs(e.x - x) + Math.abs(e.y - y);

				int deltat = (e.time - t);

				// System.out.println("deltat ="+deltat);

				if (dist >= 0 && (deltat > 0 || dist > 0)) {

					// System.out.println(" DRAG dist="+dist+" deltat="+deltat);

					String[] ids = panel.getWordSelection(); // may be null

					panel.expandSelectionTo(ids);

					return;

				}

			}

		});

		browser.addMouseWheelListener(new MouseWheelListener() {

			@Override

			public void mouseScrolled(MouseEvent e) {

				if ((e.stateMask & SWT.CTRL) == SWT.CTRL) {

					if (e.count > 0) {

						TXMBrowserEditor.zoomIn(getBrowser());

				}

			}

		});

		KeyListener kListener = new KeyListener() {

			boolean debug = true;

			@Override

			public void keyReleased(KeyEvent e) {

				if (debug) Log.finest(" KEY RELEASED: " + e); //$NON-NLS-1$

			}

			@Override

			public void keyPressed(KeyEvent e) {

				if (debug) Log.finest(" KEY PRESSED: " + e); //$NON-NLS-1$

				if (e.keyCode == 'f' && (e.stateMask & SWT.CTRL) != 0) {

					synopticEditionEditor.getSearchEditionToolbar().openSearch(getTextSelection());

		};

		getBrowser().setCapture(true);

		getBrowser().addKeyListener(kListener);

		getBrowser().addProgressListener(progressListener);

	}

	/**

	 * Bypass BrowserViewer restriction on the getBrowser method

	 */

	@Override

	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) {

				removeHighlightWordsById(color, wordid);

			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();

		for (String wordid : wordids) {

				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

	 * 

	 * @return true if the page changed

	 */

	public boolean backToText(Text text, String line_wordid) {

		// String name = currentEdition.getName();

		Edition edition = text.getEdition(editionName);

		if (edition == null) {

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

			Log.warning(s);

				updateWordStyles(); // no need to change the page, but still update the focus&styles

			}

		}

		return false;

	}

	/**

	 * First page.

	 */

	public void firstPage() {

		if (currentEdition == null) return;

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

		currentPage = currentEdition.getFirstPage();

		currentText = currentEdition.getText();

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

			return;

		}

		reloadPage();

		// page_label.setText(makePageLabel());

	}

	@Override

	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 (currentEdition == null) return;

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

			return;

		}

		currentText = currentEdition.getText();

		reloadPage();

	}

	/**

	 * Previous page.

	 */

	public void previousPage() {

		if (currentEdition == null) return;

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

		if (currentPage != null) {

			Page previous = currentEdition.getPreviousPage(currentPage);

			if (previous == currentPage) {

				previousText(true);

			}

		}

		// page_label.setText(makePageLabel());

	}

	/**

	 * Next page.

	 */

	public void nextPage() {

		if (currentEdition == null) return;

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

		if (currentPage != null) {

			Page next = currentEdition.getNextPage(currentPage);

		}

		// page_label.setText(makePageLabel());

	}

	public void firstText() {

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

		Project project = currentText.getProject();

		String id;

			return;

		}

		Text firstText = project.getText(id);

		if (firstText != null) {

			String editionName = currentEdition.getName();

			Edition tmp = firstText.getEdition(editionName);

			reloadPage();

		}

	}

	/**

	 * Next text.

	 */

	public void lastText() {

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

		Project project = currentText.getProject();

		String id;

			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;

			}

			reloadPage();

			// 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.

	 */

	public void nextText() {

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

		Project project = currentText.getProject();

		String id;

			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;

			}

			reloadPage();

			// 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(this.editionName);

		if (tmp == null) {

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

			return;

		}

		currentEdition = tmp;

		currentText = text;

		if (refresh) {

			currentPage = currentEdition.getFirstPage();

			if (currentPage == null) {

		}

		// page_label.setText(makePageLabel());

	}

	/**

	 * Gets the current page.

	 *

	 * @return the current page

	 */

	public Page getCurrentPage() {

		return currentPage;

	}

	/**

	 * Gets the current text.

	 *

	 * @return the current page

	 */

	public Text getCurrentText() {

		return currentText;

	}

	/**

	 * Make page label.

	 *

	 * @return the string

	 */

	public String makePageLabel() {

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

	}

	/**

	 * Show page.

	 *

	 * @param page the page

	 */

	public void showPage(Page page) {

		if (currentEdition == null) return;

		// System.out.println("SHOW PAGE "+page);

		currentEdition = page.getEdition();

		currentPage = page;

		reloadPage();

	}

	/**

	 * Reload the browser with the currentPage URL

	 */

	public void reloadPage() {

		this.setURL(currentPage.toURL());

	}

	// /**

	// * Sets the edition.

	// *

	// public void setEdition(Edition edition) {

	// this.currentEdition = edition;

	// }

	String EMPTYSELECTIONTEST =

			"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 false"; //$NON-NLS-1$

	String SCRIPT01 = 

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

					"var container = document.createElement(\"div\");" + //$NON-NLS-1$

					"for (var i = 0, len = sel.rangeCount; i < len; ++i) {" + //$NON-NLS-1$

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

					"html = container.innerHTML;" + //$NON-NLS-1$

					"container = null;" +

					//"container.parentNode.removeChild(container);" +

					"html = document.selection.createRange().htmlText;" + //$NON-NLS-1$

	public String getTextSelectionDOM() {

		String t = ((String) evaluate(SCRIPT01));

		Log.finest("HTML text selection=" + t);

		return t;

	}

	/**

	 * 

	 * @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 boolean isTextSelectionEmpty() {

		return browser.evaluate(EMPTYSELECTIONTEST).equals(true);

	}

	public String getTextSelection() {

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

		String dom = getTextSelectionDOM();

		if (dom == null) return "";

		String rez = dom.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();

		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 searchItem = new MenuItem(menu, SWT.NONE);

				searchItem.setText("Search...");

				searchItem.addSelectionListener(new SelectionListener() {

					@Override

					public void widgetSelected(SelectionEvent e) {

						String text = EditionPanel.this.getTextSelection();

						synopticEditionEditor.getSearchEditionToolbar().openSearch(text);

					}

					@Override

					public void widgetDefaultSelected(SelectionEvent e) {}

				});

				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();

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

							IOClipboard.write(text);

						}

					}

					@Override

					public void widgetDefaultSelected(SelectionEvent e) {}

				});

				String text = EditionPanel.this.getTextSelection();

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

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

				zoomInItem.setText("Zoom avant");

				zoomInItem.addSelectionListener(new SelectionListener() {

					@Override

					public void widgetSelected(SelectionEvent e) {

						TXMBrowserEditor.zoomIn(browser);

					}

					@Override

					public void widgetDefaultSelected(SelectionEvent e) {}

				});

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

				zoomOutItem.setText("Zoom arrière");

				zoomOutItem.addSelectionListener(new SelectionListener() {

					@Override

					public void widgetSelected(SelectionEvent e) {

						TXMBrowserEditor.zoomOut(browser);

					}

					@Override

					public void widgetDefaultSelected(SelectionEvent e) {}

				});

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

				zoomResetItem.setText("Zoom initial");

				zoomResetItem.addSelectionListener(new SelectionListener() {

					@Override

					public void widgetSelected(SelectionEvent e) {

						TXMBrowserEditor.zoomReset(browser);

					}

					@Override

					public void widgetDefaultSelected(SelectionEvent e) {}

				});

				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) {}

				});

				MenuItem propertiesItem = new PagePropertiesMenu(getBrowser(), menu, SWT.NONE);