Change the TopHeader name to MainWindowHeader, since there is nothing

more on the top than the header.

Contributes to CURA-5784.
This commit is contained in:
Diego Prado Gesto 2018-10-19 16:40:21 +02:00
parent 6f12197cea
commit 15b35da612
9 changed files with 43 additions and 45 deletions

View file

@ -86,9 +86,9 @@ UM.MainWindow
window: base
}
TopHeader
MainWindowHeader
{
id: topHeader
id: mainWindowHeader
anchors
{
left: parent.left
@ -103,7 +103,7 @@ UM.MainWindow
anchors
{
top: topHeader.bottom
top: mainWindowHeader.bottom
bottom: parent.bottom
left: parent.left
right: parent.right
@ -152,7 +152,7 @@ UM.MainWindow
}
visible: stageMenu.source != ""
height: Math.round(UM.Theme.getSize("stage_menu").height / 2)
color: UM.Theme.getColor("topheader_background")
color: UM.Theme.getColor("main_window_header_background")
}
Loader