add scrollbar file explorer if needed

pull/1/head
yann300 7 years ago
parent 22fb1ae301
commit 765ebedc70
  1. 10
      src/app/panels/file-panel.js

@ -33,8 +33,9 @@ var css = csjs`
width : 100%; width : 100%;
} }
.menu { .menu {
display : flex; height : 2em;
flex-direction : row; margin-top : 0.5em;
flex-shrink : 0;
} }
.newFile { .newFile {
padding : 10px; padding : 10px;
@ -84,6 +85,9 @@ var css = csjs`
.treeview { .treeview {
background-color : ${styles.colors.white}; background-color : ${styles.colors.white};
} }
.treeviews {
overflow-y : auto;
}
.dragbar { .dragbar {
position : absolute; position : absolute;
top : 37px; top : 37px;
@ -151,9 +155,11 @@ function filepanel (appAPI, filesProvider) {
<i class="websocketconn fa fa-link" title="Connect to Localhost"></i> <i class="websocketconn fa fa-link" title="Connect to Localhost"></i>
</span> </span>
</div> </div>
<div class=${css.treeviews}>
<div class=${css.treeview}>${fileExplorer.init()}</div> <div class=${css.treeview}>${fileExplorer.init()}</div>
<div class="filesystemexplorer ${css.treeview}"></div> <div class="filesystemexplorer ${css.treeview}"></div>
</div> </div>
</div>
${dragbar} ${dragbar}
</div> </div>
` `

Loading…
Cancel
Save