diff --git a/MiniZincIDE/mainwindow.ui b/MiniZincIDE/mainwindow.ui index f5bce01..995fdc4 100755 --- a/MiniZincIDE/mainwindow.ui +++ b/MiniZincIDE/mainwindow.ui @@ -15,7 +15,13 @@ - :/images/mznicon.png:/images/mznicon.png + :/mznide.ico:/mznide.ico + + + + 256 + 256 + true diff --git a/MiniZincIDE/minizincide.qrc b/MiniZincIDE/minizincide.qrc index bfedaad..4066b09 100644 --- a/MiniZincIDE/minizincide.qrc +++ b/MiniZincIDE/minizincide.qrc @@ -4,6 +4,7 @@ images/about.html images/mznicon.png cheat_sheet.mzn + mznide.ico images/document-new.png