fix tab width jittering when switching tabs

pull/467/head
nightwing 2017-11-12 23:56:48 +04:00
rodzic cc0ecb420b
commit 5c2b7f8e34
2 zmienionych plików z 2 dodań i 4 usunięć

Wyświetl plik

@ -1823,7 +1823,7 @@ define(function(require, exports, module) {
container.style.position = "absolute"; container.style.position = "absolute";
container.style.left = "0px"; container.style.left = "0px";
container.style.right = "0px"; container.style.right = "0px";
container.style.top = ui.getStyle(e.htmlNode, "paddingTop"); container.style.top = "7px";
container.style.bottom = "0px"; container.style.bottom = "0px";
// Create Ace editor instance // Create Ace editor instance

Wyświetl plik

@ -191,7 +191,7 @@
height : @pane-button-height + 3; height : @pane-button-height + 3;
z-index : 10; z-index : 10;
margin-top : -1px; margin-top : -1px;
min-width : 100px; min-width : 97px;
} }
body>.session_btn.curbtn{ body>.session_btn.curbtn{
cursor : default; cursor : default;
@ -264,9 +264,7 @@ body>.session_btn.curbtn{
} }
.session_btn.curbtn .sessiontab_title { .session_btn.curbtn .sessiontab_title {
color : @pane-button-active-color; color : @pane-button-active-color;
margin-top : -1px;
text-shadow : none; text-shadow : none;
border-bottom: 1px dotted transparent;
} }
.dark.session_btn.curbtn .sessiontab_title { .dark.session_btn.curbtn .sessiontab_title {
color : rgba(255,255,255,0.85); color : rgba(255,255,255,0.85);