Fine-tune panel set size and scroll behavior.

This commit is contained in:
kovacsv 2021-11-07 17:35:29 +01:00
parent 0020fa3878
commit a4c0f0e95d
3 changed files with 3 additions and 3 deletions

View File

@ -103,7 +103,7 @@ div.main
div.main_navigator
{
width: 240px;
width: 260px;
margin: 10px 0px 10px 0px;
overflow: none;
float: left;

View File

@ -117,7 +117,7 @@ OV.Navigator = class
originalWidth = this.mainDiv.outerWidth (true);
},
onSplit : (xDiff) => {
const minWidth = 250;
const minWidth = 260;
const maxWidth = 450;
let newWidth = originalWidth + xDiff;
if (newWidth < minWidth) {

View File

@ -53,7 +53,7 @@ OV.PanelSet = class
{
this.parentDiv = parentDiv;
this.menuDiv = $('<div>').addClass ('ov_panel_set_menu').appendTo (parentDiv);
this.contentDiv = $('<div>').addClass ('ov_panel_set_content').appendTo (parentDiv);
this.contentDiv = $('<div>').addClass ('ov_panel_set_content').addClass ('ov_thin_scrollbar').appendTo (parentDiv);
this.panels = [];
this.panelButtons = [];
this.panelsVisible = true;