Connect the select all menu item action
Connect the select all menu item action

Makes the select all menu item functional (previously only the built in text editor Ctrl+A shortcut worked)

MiniZinc/MiniZincIDE,MiniZinc/MiniZincIDE,MiniZinc/MiniZincIDE,MiniZinc/MiniZincIDE