fixed layout for scrolling custom categories

thanks, Eckart, for the bug report!
snap7
Jens Mönig 2022-01-21 18:14:05 +01:00
rodzic b020e1be89
commit 3f972a04bf
2 zmienionych plików z 7 dodań i 1 usunięć

Wyświetl plik

@ -5,11 +5,13 @@
* **New Features:** * **New Features:**
* **Notable Changes:** * **Notable Changes:**
* **Notable Fixes:** * **Notable Fixes:**
* fixed layout for scrolling custom categories, thanks, Eckart, for the bug report!
* **Documentation Updates:** * **Documentation Updates:**
* **Translation Updates:** * **Translation Updates:**
### 2022-01-21 ### 2022-01-21
* new dev version * new dev version
* gui: fixed layout for scrolling custom categories, thanks, Eckart, for the bug report!
## 7.0.6: ## 7.0.6:
* **Notable Changes:** * **Notable Changes:**

Wyświetl plik

@ -1459,6 +1459,7 @@ IDE_Morph.prototype.createCategories = function () {
scroller.addContents(myself.categories.children[8]); scroller.addContents(myself.categories.children[8]);
} }
myself.categories.add(scroller); myself.categories.add(scroller);
myself.categories.scroller = scroller;
myself.categories.setHeight( myself.categories.setHeight(
(4 + 1) * yPadding (4 + 1) * yPadding
+ 4 * buttonHeight + 4 * buttonHeight
@ -2229,6 +2230,9 @@ IDE_Morph.prototype.fixLayout = function (situation) {
this.categories.setLeft(this.logo.left()); this.categories.setLeft(this.logo.left());
this.categories.setTop(this.logo.bottom()); this.categories.setTop(this.logo.bottom());
this.categories.setWidth(this.paletteWidth); this.categories.setWidth(this.paletteWidth);
if (this.categories.scroller) {
this.categories.scroller.setWidth(this.paletteWidth);
}
} }
// palette // palette
@ -5682,7 +5686,7 @@ IDE_Morph.prototype.openBlocksString = function (str, name, silently) {
]); ]);
}; };
IDE_Morph.prototype.rawOpenBlocksString = function (str, name, silently) { // +++ IDE_Morph.prototype.rawOpenBlocksString = function (str, name, silently) {
// name is optional (string), so is silently (bool) // name is optional (string), so is silently (bool)
var blocks; var blocks;
this.toggleAppMode(false); this.toggleAppMode(false);