Merge pull request 'Add intellij to the gitignore' (#861) from update-gitignore into master

Reviewed-on: #861

.gitignore

@@ -48,3 +48,6 @@ cool-retro-term
 
 .DS_Store
 *.app
+
+# IntelliJ
+.idea

app/main.cpp

@@ -58,6 +58,7 @@ int main(int argc, char *argv[])
         cout << "  -p|--profile <prof> Run cool-retro-term with the given profile." << '\n';
         cout << "  -h|--help           Print this help." << '\n';
         cout << "  --verbose           Print additional information such as profiles and settings." << '\n';
+        cout << "  -v|--version        Print the program name and version." << '\n';
         return 0;
     }
 

app/qml/PreprocessedTerminal.qml

@@ -58,6 +58,13 @@ Item{
             kterminal.pasteClipboard()
         }
     }
+    Connections {
+        target: pasteActionAlt
+
+        onTriggered: {
+            kterminal.pasteSelection()
+        }
+    }
 
     //When settings are updated sources need to be redrawn.
     Connections {

app/qml/SettingsWindow.qml

@@ -30,7 +30,6 @@ Window {
     width: 640
     height: 640
 
-    color: palette.window
     property int tabmargins: 15
 
     Item {

app/qml/main.qml

@@ -116,6 +116,11 @@ ApplicationWindow {
         text: qsTr("Paste")
         shortcut: "Ctrl+Shift+V"
     }
+    Action {
+        id: pasteActionAlt
+        text: qsTr("Paste selection")
+        shortcut: "Shift+Insert"
+    }
     Action {
         id: zoomIn
         text: qsTr("Zoom In")