fix: datatip overlay size

Author: Andreas Gerlach

lib/datatip-manager.js

@@ -348,10 +348,8 @@ module.exports = class DatatipManager {
       invalidate: 'never',
     });
 
-    // if there is an overlay already on the same position, skip showing the data tip 
-    const decorations = editor.getOverlayDecorations({
-      type: 'overlay'
-    }).filter((decoration) => {
+    // if there is an overlay already on the same position, skip showing the data tip
+    const decorations = editor.getOverlayDecorations().filter((decoration) => {
       const decorationMarker = decoration.getMarker();
       if (decorationMarker.compare(highlightMarker) == 1) {
         return decoration;

styles/atom-ide-datatips-marked.less

@@ -9,7 +9,7 @@
   color: @syntax-text-color;
   font-family: var(--editor-font-family);
   font-size: var(--editor-font-size);
-  max-height: 24em;
+  max-height: 48em;
   max-width: 64em;
   overflow: auto;
   white-space: normal;

styles/atom-ide-datatips.less

@@ -10,7 +10,7 @@
   position: relative;
   white-space: normal;
   pointer-events: all;
-  max-height: 24em;
+  max-height: 48em;
   max-width: 64em;
   overflow: none;
 
@@ -23,7 +23,7 @@
 }
 
 .datatip-overlay {
-  z-index: 4 !important; // HACK: exceed the z-index of
+  z-index: 12 !important; // HACK: exceed the z-index of
                           // .atom-dock-resize-handle-resizable, so that
                           // mouseleaves aren't triggered when the cursor enters
                           // the resizable
@@ -33,7 +33,7 @@
   background-color: @syntax-background-color;
   display: flex;
   position: relative;
-  max-height: 24em;
+  max-height: 48em;
   max-width: 64em;
   transition: background-color 0.15s ease;
   padding: 8px;