Page history
Jump to navigation
Jump to search
26 February 2019
25 February 2019
no edit summary
-12
no edit summary
+7
no edit summary
+322
no edit summary
-9
no edit summary
-18
no edit summary
+776
no edit summary
+192
no edit summary
+162
no edit summary
+220
28 January 2019
22 August 2018
→Startup
-15
→Startup
no edit summary
-14
→Text Editor
+44
→Text Editor
+6
no edit summary
+265
→Text Editor
-21
19 March 2018
→Project View
+45
→Text Editor
+37
→Startup
-44
→Startup
+24
no edit summary
-17
no edit summary
-268
→Text Editor
+17
9 October 2016
19 February 2016
8 February 2016
30 January 2016
17 January 2016
21 October 2015
24 June 2015
22 June 2015
→Text Editor
+1
→Text Editor
+232
→Text Editor
+12
→Text Editor
+118
→Input Bar
+4
→Input Bar
+60
no edit summary
-17
no edit summary
+2
→Querying
-122