mirror of
https://github.com/livebook-dev/livebook.git
synced 2024-11-17 21:33:16 +08:00
cd80bd7804
* Implement user cursor and selection tracking * Separate jump-to-user and follow
54 lines
1.2 KiB
CSS
54 lines
1.2 KiB
CSS
/* Monaco overrides */
|
|
|
|
/* Add some spacing to code snippets in completion suggestions */
|
|
div.suggest-details-container div.monaco-tokenized-source {
|
|
margin-top: 0.5rem;
|
|
margin-bottom: 0.5rem;
|
|
}
|
|
|
|
/* Monaco cursor widget */
|
|
|
|
.monaco-cursor-widget-container {
|
|
pointer-events: none;
|
|
z-index: 100;
|
|
}
|
|
|
|
.monaco-cursor-widget-container .monaco-cursor-widget-cursor {
|
|
pointer-events: initial;
|
|
width: 2px;
|
|
}
|
|
|
|
.monaco-cursor-widget-container .monaco-cursor-widget-label {
|
|
pointer-events: initial;
|
|
transform: translateY(-200%);
|
|
white-space: nowrap;
|
|
padding: 1px 8px;
|
|
font-size: 12px;
|
|
color: #f8fafc;
|
|
|
|
visibility: hidden;
|
|
transition-property: visibility;
|
|
transition-duration: 0s;
|
|
transition-delay: 1.5s;
|
|
}
|
|
|
|
.monaco-cursor-widget-container .monaco-cursor-widget-label:hover {
|
|
visibility: visible;
|
|
}
|
|
|
|
.monaco-cursor-widget-container
|
|
.monaco-cursor-widget-cursor:hover
|
|
+ .monaco-cursor-widget-label {
|
|
visibility: visible;
|
|
transition-delay: 0s;
|
|
}
|
|
|
|
/* When in the first line, we want to display cursor and label in the same line */
|
|
.monaco-cursor-widget-container.inline {
|
|
display: flex;
|
|
}
|
|
|
|
.monaco-cursor-widget-container.inline .monaco-cursor-widget-label {
|
|
margin-left: 2px;
|
|
transform: none;
|
|
}
|