зеркало из https://github.com/mozilla/FlightDeck.git
ace editor style tweaks
fixes Bug 676239 - cant see last line of cod e in builder when there are enough lines that vertical scroll bar is needed. last line it is covered by the horizontal scroll bar fixes Bug 713891 - Cursor placement is a few pixels off from where expected when clicking on characters in the editor
This commit is contained in:
Родитель
ce5d677203
Коммит
39e034c351
|
@ -26,35 +26,25 @@ div.UI_Editor_Area {
|
|||
|
||||
div.ace_gutter div.ace_gutter-layer
|
||||
{
|
||||
padding: 4px 0;
|
||||
padding: 2px 0;
|
||||
}
|
||||
|
||||
div.ace_scroller
|
||||
{
|
||||
top: 0px;
|
||||
bottom: 0px;
|
||||
height: auto !important;
|
||||
/*height: auto !important;*/
|
||||
background: #FFFFFF;
|
||||
border-top: 1px solid #777;
|
||||
border-left: 1px solid #777;
|
||||
-moz-border-radius: 3px 0 0 0;
|
||||
border-radius: 3px 0 0 0;
|
||||
-moz-box-shadow: 1px 1px 2px -2px #000 inset;
|
||||
overflow-x: auto;
|
||||
}
|
||||
|
||||
div.ace_content
|
||||
{
|
||||
top: 3px;
|
||||
padding: 4px !important;
|
||||
}
|
||||
|
||||
div.ace_content > div.ace_layer
|
||||
{
|
||||
top: -1px;
|
||||
}
|
||||
|
||||
div.ace_editor div.ace_sb
|
||||
{
|
||||
right: -1px;
|
||||
border-top: 1px solid #777;
|
||||
}
|
||||
|
||||
|
|
Загрузка…
Ссылка в новой задаче