Fork of micro-editor/micro

Always restart the screen when saving with sudo

Fixes #723


Author Zachary Yedidia Date Commit Parent e4751fd8
+6 -17
1 changed file
+6 -17
1 changed file