terminal tooltips

Author: pfitzseb

lib/runtime/console.js

@@ -52,6 +52,7 @@ export function activate (_ink) {
   terminal = ink.InkTerminal.fromId('julia-terminal', terminalOptions())
   terminal.setTitle('REPL', true)
   terminal.onDidOpenLink(hasKeyboardModifier)
+  terminal.registerTooltipHandler(showTooltip, hideTooltip)
   terminal.class = 'julia-terminal'
 
   subs.add(atom.config.observe('julia-client.uiOptions.layouts.console.defaultLocation', (defaultLocation) => {
@@ -179,6 +180,7 @@ function newTerminal (cwd) {
   const term = ink.InkTerminal.fromId(`terminal-julia-${Math.floor(Math.random()*10000000)}`, terminalOptions())
   term.attachCustomKeyEventHandler((e) => handleKeybinding(e, term))
   term.onDidOpenLink(hasKeyboardModifier)
+  term.registerTooltipHandler(showTooltip, hideTooltip)
   addLinkHandler(term.terminal)
   shellPty(cwd).then(({pty, cwd}) => {
     term.attach(pty, true, cwd)
@@ -195,6 +197,7 @@ function newRemoteTerminal () {
   const term = ink.InkTerminal.fromId(`terminal-remote-julia-${Math.floor(Math.random()*10000000)}`, terminalOptions())
   term.attachCustomKeyEventHandler((e) => handleKeybinding(e, term))
   term.onDidOpenLink(hasKeyboardModifier)
+  term.registerTooltipHandler(showTooltip, hideTooltip)
   addLinkHandler(term.terminal)
   remotePty().then(({pty, cwd, conf}) => {
     term.attach(pty, true, cwd)
@@ -274,9 +277,51 @@ function handleLink (event, uri) {
 function addLinkHandler (terminal) {
   terminal.registerLinkMatcher(uriRegex, handleLink, {
     willLinkActivate: ev => hasKeyboardModifier(ev),
+    tooltipCallback: (ev, uri, location) => showTooltip(ev, uri, location, terminal),
+    leaveCallback: () => hideTooltip()
   })
 }
 
+let tooltip = null
+
+function showTooltip (event, uri, location, terminal) {
+  if (atom.config.get('julia-client.consoleOptions.linkModifier')) {
+    let el = document.createElement('div')
+    el.classList.add('terminal-link-tooltip')
+
+    const terminalRect = event.target.getBoundingClientRect()
+    const colWidth = terminalRect.width / terminal.cols
+    const rowHeight = terminalRect.height / terminal.rows
+
+    const leftPosition = location.start.x * colWidth + terminalRect.left
+    const topPosition = (location.start.y - 1.5) * rowHeight + terminalRect.top
+
+    el.style.top = topPosition + 'px'
+    el.style.left = leftPosition + 'px'
+
+    el.innerText = (process.platform == 'darwin' ? 'Cmd' : 'Ctrl') + '-Click to open link.'
+
+    tooltip = el
+    document.body.appendChild(el)
+
+    return true
+  } else {
+    return false
+  }
+}
+
+function hideTooltip () {
+  if (tooltip) {
+    try {
+      document.body.removeChild(tooltip)
+    } catch (err) {
+
+    } finally {
+      tooltip = null
+    }
+  }
+}
+
 function handleKeybinding (e, term, binds = whitelistedKeybindingsTerminal) {
   if (process.platform !== 'win32' && e.keyCode === 13 && (e.altKey || e.metaKey) && e.type === 'keydown') {
     // Meta-Enter doesn't work properly with xterm.js atm, so we send the right escape sequence ourselves:

styles/julia-client.less

@@ -182,3 +182,11 @@ atom-text-editor.editor[data-grammar$="source weave latex"] {
     }
   }
 }
+
+.terminal-link-tooltip {
+  z-index: 100;
+  color: @text-color;
+  background-color: @app-background-color;
+  padding: 0.2em 0.5em;
+  position: absolute;
+}