Menu ▾ ▴

#705 Force-close with SHIFT

v1.1.x
closed
Erik Hänel
gui (58) editor (22)
v1.1.4
Change Request
2022-08-05
2022-05-14
Erik Hänel
No

Enable force-closing an editor tab by holding the SHIFT key while closing the tab.

Analysis:

Should be doable by changing the mouse middle and the closing button event handler to check for the pressed shift key.

Implementation:

  • Implementation: Implemented as proposed by the analysis.
  • Revision: [r1148]
  • Implementation test: Tabs were modified and closed with and without the SHIFT key.

Documentation:

  • [x] ChangesLog updated
  • [x] Code changes commented
  • Documentation articles:
    • [ ] corresponding documentation articles updated
    • [ ] new documentation articles created
    • [x] not needed
  • Language files:
    • [ ] corresponding language files updated
    • [x] not needed

Tests:

Tested manually. No deviations detected.

Related

Commit: [r1148]

Discussion

  • Erik Hänel

    Erik Hänel - 2022-05-17
    • labels: --> gui, editor
    • status: open --> accepted
     

  • Erik Hänel

    Erik Hänel - 2022-05-17
    • Description has changed:

    Diff:

    --- old
+++ new
@@ -1 +1,23 @@
 Enable force-closing an editor tab by holding the SHIFT key while closing the tab.
+
+###Analysis:
+(*Describe, what's the issue and which changes have to be made*)
+
+###Implementation:
+* Implementation: (*Describe, what you've changed*) 
+* Revision: [rXXX]
+* Implementation test: (*Describe the type of test, which you performed, and if it was successful*)
+
+###Documentation:
+* [ ] ChangesLog updated
+* [ ] Code changes commented
+* **Documentation articles:**

+    * [ ] corresponding documentation articles updated
+    * [ ] new documentation articles created
+    * [ ] not needed
+* **Language files:**
+    * [ ] corresponding language files updated
+    * [ ] not needed
+
+###Tests:
+(*Describe, which tests you performed and their outcome*)
    • status: accepted --> analyzing
     

  • Erik Hänel

    Erik Hänel - 2022-05-17
    • Description has changed:

    Diff:

    --- old
+++ new
@@ -1,7 +1,7 @@
 Enable force-closing an editor tab by holding the SHIFT key while closing the tab.

 ###Analysis:
-(*Describe, what's the issue and which changes have to be made*)
+Should be doable by changing the mouse middle and the closing button event handler to check for the pressed shift key.

 ###Implementation:

 * Implementation: (*Describe, what you've changed*)
    • status: analyzing --> implementing
     

  • Erik Hänel

    Erik Hänel - 2022-05-17
    • Description has changed:

    Diff:

    --- old
+++ new
@@ -4,20 +4,20 @@
 Should be doable by changing the mouse middle and the closing button event handler to check for the pressed shift key.

 ###Implementation:
-* Implementation: (*Describe, what you've changed*) 
-* Revision: [rXXX]
-* Implementation test: (*Describe the type of test, which you performed, and if it was successful*)
+* Implementation: Implemented as proposed by the analysis.
+* Revision: [r1148]
+* Implementation test: Tabs were modified and closed with and without the SHIFT key.

 ###Documentation:
-* [ ] ChangesLog updated
-* [ ] Code changes commented
+* [x] ChangesLog updated
+* [x] Code changes commented

 * **Documentation articles:**
     * [ ] corresponding documentation articles updated
     * [ ] new documentation articles created
-    * [ ] not needed
+    * [x] not needed
 * **Language files:**
     * [ ] corresponding language files updated
-    * [ ] not needed
+    * [x] not needed

 ###Tests:
 (*Describe, which tests you performed and their outcome*)
    • status: implementing --> testing
     

    Related

    Commit: [r1148]

  • Erik Hänel

    Erik Hänel - 2022-08-05
    • Description has changed:

    Diff:

    --- old
+++ new
@@ -20,4 +20,4 @@

     * [x] not needed

 ###Tests:
-(*Describe, which tests you performed and their outcome*)
+Tested manually. No deviations detected.
    • status: testing --> closed
     

Anonymous
Anonymous

Add attachments
Cancel





MongoDB Logo MongoDB