| /**
|
| * Copyright (c) 2013-2015 Angelo ZERR.
|
| * All rights reserved. This program and the accompanying materials
|
| * are made available under the terms of the Eclipse Public License 2.0
|
| * which accompanies this distribution, and is available at
|
| * https://www.eclipse.org/legal/epl-2.0/
|
| *
|
| * SPDX-License-Identifier: EPL-2.0
|
| *
|
| * Contributors:
|
| * Angelo Zerr <angelo.zerr@gmail.com> - initial API and implementation
|
| */ |
| package org.eclipse.wst.json.ui.internal.text;
|
|
|
| import org.eclipse.jface.action.ToolBarManager;
|
| import org.eclipse.jface.internal.text.html.BrowserInformationControl;
|
| import org.eclipse.jface.text.IInformationControlCreator;
|
| import org.eclipse.swt.widgets.Shell;
|
|
|
| /**
|
| * Browser information control for JSON.
|
| *
|
| */
|
| public class JSONBrowserInformationControl extends BrowserInformationControl {
|
|
|
| public JSONBrowserInformationControl(Shell parent, String symbolicFontName,
|
| ToolBarManager toolBarManager) {
|
| super(parent, symbolicFontName, toolBarManager);
|
| }
|
|
|
| @Override
|
| public IInformationControlCreator getInformationPresenterControlCreator() {
|
| // Hack: We don't wan't to have auto-enrichment when the mouse moves
|
| // into the hover,
|
| // but we do want F2 to persist the hover. The framework has no way to
|
| // distinguish the
|
| // two requests, so we have to implement this aspect.
|
| for (StackTraceElement element : Thread.currentThread().getStackTrace()) {
|
| if ("canMoveIntoInformationControl".equals(element.getMethodName()) //$NON-NLS-1$
|
| && "org.eclipse.jface.text.AbstractHoverInformationControlManager".equals(element.getClassName())) //$NON-NLS-1$
|
| return null; // do not enrich bracket hover
|
| }
|
| return super.getInformationPresenterControlCreator();
|
| }
|
|
|
| }
|
