added FindAndReplaceDIalog documentation and added gitignore

gitignore as preparation for implementing verification
Valo13 · Jun 4, 2018 · 4cecf48 · 4cecf48
1 parent cdfe030
commit 4cecf48
Show file tree

Hide file tree

Showing 3 changed files with 15 additions and 2 deletions.
diff --git a/.gitignore b/.gitignore
@@ -0,0 +1,8 @@
+
+lps2pbes.exe
+mcrl22lps.exe
+pbes2bool.exe
+*.mcrl
+*.lps
+*.lts
+*.pbes
diff --git a/findandreplacedialog.h b/findandreplacedialog.h
@@ -13,6 +13,11 @@ class FindAndReplaceDialog : public QDialog
     Q_OBJECT
 
 public:
+    /**
+     * @brief FindAndReplaceDialog Constructor
+     * @param codeEditor The editor to find/replace in
+     * @param parent The parent of this widget
+     */
     explicit FindAndReplaceDialog(CodeEditor *codeEditor, QWidget *parent = 0);
     ~FindAndReplaceDialog();
 

diff --git a/mCRL2-IDE.pro.user b/mCRL2-IDE.pro.user
@@ -1,6 +1,6 @@
 <?xml version="1.0" encoding="UTF-8"?>
 <!DOCTYPE QtCreatorProject>
-<!-- Written by QtCreator 4.6.1, 2018-05-31T16:41:14. -->
+<!-- Written by QtCreator 4.6.1, 2018-06-04T09:33:34. -->
 <qtcreator>
  <data>
   <variable>EnvironmentId</variable>
@@ -292,7 +292,7 @@
     <value type="QString" key="Qt4ProjectManager.Qt4RunConfiguration.ProFile">mCRL2-IDE.pro</value>
     <value type="bool" key="Qt4ProjectManager.Qt4RunConfiguration.UseDyldImageSuffix">false</value>
     <value type="QString" key="Qt4ProjectManager.Qt4RunConfiguration.UserWorkingDirectory"></value>
-    <value type="QString" key="Qt4ProjectManager.Qt4RunConfiguration.UserWorkingDirectory.default">C:/Users/s123188/Documents/QtProjects/build-mCRL2-IDE-Desktop_Qt_5_10_1_MSVC2017_64bit-Debug</value>
+    <value type="QString" key="Qt4ProjectManager.Qt4RunConfiguration.UserWorkingDirectory.default"></value>
     <value type="uint" key="RunConfiguration.QmlDebugServerPort">3768</value>
     <value type="bool" key="RunConfiguration.UseCppDebugger">false</value>
     <value type="bool" key="RunConfiguration.UseCppDebuggerAuto">true</value>