#UI_ENHANCEMENT by Lukas Vogel
class: ToolApplicationModel class
changed:
#windowSpecForInfoBar
#windowSpecForInfoBarWithClock
#'infobar.level'
--- a/ToolApplicationModel.st Thu Jul 05 03:34:31 2018 +0000
+++ b/ToolApplicationModel.st Thu Jul 05 12:31:09 2018 +0200
@@ -609,7 +609,7 @@
name: 'InfoLabel'
layout: (LayoutFrame 0 0.0 0 0.0 0 1.0 0 1.0)
uuid: '496a084c-c5a3-11e7-82f7-c42c033b4871'
- level: -1
+ level: #'infobar.level'
translateLabel: true
labelChannel: infoLabelHolder
resizeForLabel: false
@@ -663,14 +663,14 @@
#collection: #(
#(#LabelSpec
#name: 'InfoLabel'
- #level: -1
+ #level: #'infobar.level'
#labelChannel: #infoLabelHolder
#resizeForLabel: false
#adjust: #left
)
#(#LabelSpec
#name: 'timeLabel'
- #level: -1
+ #level: #'infobar.level'
#labelChannel: #timeLabelHolder
#resizeForLabel: false
#adjust: #rightLeft