pulsar-edit/pulsar
1
1
Fork 0
mirror of https://github.com/pulsar-edit/pulsar.git synced 2024-09-19 15:08:08 +03:00
Code Issues Packages Projects Releases Wiki Activity

Merge the react and non-react editor styles

Browse Source
This commit is contained in:
Ben Ogle 2014-07-29 14:32:46 -07:00
parent 431fab1a43
commit 01c4fe5340
1 changed files with 25 additions and 59 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

84
static/editor.less
View File

@ -2,7 +2,18 @@
@import "octicon-utf-codes";
@import "octicon-mixins";
.editor.react {
.editor, .editor-contents {
overflow: hidden;
cursor: text;
display: -webkit-flex;
-webkit-user-select: none;
position: relative;
}
.editor {
font-family: Inconsolata, Monaco, Consolas, 'Courier New', Courier;
line-height: 1.3;
.editor-contents {
width: 100%;
}
@ -71,9 +82,19 @@
}
.gutter {
overflow: hidden;
text-align: right;
cursor: default;
min-width: 1em;
box-sizing: border-box;
.line-numbers {
position: relative;
}
.line-number {
white-space: nowrap;
padding-left: .5em;
opacity: 0.6;
.icon-right {
padding: 0 .4em;
@ -82,6 +103,9 @@
}
}
}
.line-number.cursor-line {
opacity: 1;
}
}
}
@ -96,45 +120,6 @@
}
}
.editor {
z-index: 0;
font-family: Inconsolata, Monaco, Consolas, 'Courier New', Courier;
line-height: 1.3;
}
.editor, .editor-contents {
overflow: hidden;
cursor: text;
display: -webkit-flex;
-webkit-user-select: none;
position: relative;
}
.editor .gutter .line-number.cursor-line {
opacity: 1;
}
.editor .gutter {
overflow: hidden;
text-align: right;
cursor: default;
min-width: 1em;
box-sizing: border-box;
}
.editor .gutter .line-number {
padding-left: .5em;
opacity: 0.6;
}
.editor .gutter .line-numbers {
position: relative;
}
.editor .gutter .line-number.folded.cursor-line {
opacity: 1;
}
.editor .gutter .line-number .icon-right {
.octicon(chevron-down, 0.8em);
display: inline-block;
@ -289,22 +274,3 @@
pointer-events: none;
z-index: -1;
}
.editor.mini:not(.react) {
height: auto;
line-height: 25px;
.cursor {
width: 2px;
line-height: 20px;
margin-top: 2px;
}
.gutter {
display: none;
}
.scroll-view {
overflow: hidden;
}
}