move-left-right-buttons.patch

Takenori TAKAKI, 2020-01-31 08:39

Download (1.65 KB)

View differences:

public/javascripts/jstoolbar/jstoolbar.js
68 68
  tabs.appendChild(elementsTab);
69 69
  this.tabsBlock.appendChild(tabs);
70 70

  
71
  var leftScrollButton = document.createElement('button');
72
  leftScrollButton.classList = 'tab-left disabled';
73
  leftScrollButton.setAttribute('type','button');
74
  leftScrollButton.onclick = function() { moveTabLeft(this); };
75
  var rightScrollButton = document.createElement('button');
76
  rightScrollButton.classList = 'tab-right';
77
  rightScrollButton.setAttribute('type','button');
78
  rightScrollButton.onclick = function() { moveTabRight(this); };
79

  
80
  var scrollButtons = document.createElement('div');
81
  scrollButtons.classList = 'tabs-buttons';
82
  scrollButtons.appendChild(leftScrollButton);
83
  scrollButtons.appendChild(rightScrollButton);
84
  this.tabsBlock.appendChild(scrollButtons);
85

  
71 86
  this.toolbar = document.createElement("div");
72 87
  this.toolbar.className = 'jstElements';
73 88
  elementsTab.appendChild(this.toolbar);
public/stylesheets/jstoolbar.css
32 32
    line-height: 19px;
33 33
  border-bottom: 1px solid transparent;
34 34
}
35
#content .jstTabs.tabs div.tabs-buttons {
36
    background-color: #f7f7f7;
37
    height: 24px;
38
    width: 50px;
39
    border-bottom: 1px solid #ccc;
40
}
35 41
.jstElements {
36 42
    display: inline-block;
37 43
    vertical-align: bottom;