open file on write
This commit is contained in:
parent
f164916bd4
commit
e83acfd5da
@ -318,7 +318,10 @@ class Command_prompt(Label):
|
|||||||
self.message="error: permission denied"
|
self.message="error: permission denied"
|
||||||
return
|
return
|
||||||
else:
|
else:
|
||||||
|
self.app.openfile=self.argv[1]
|
||||||
self.app.painter.write(self.argv[1])
|
self.app.painter.write(self.argv[1])
|
||||||
|
# update status bar
|
||||||
|
self.app.status_bar.draw()
|
||||||
|
|
||||||
# open file
|
# open file
|
||||||
if self.argv[0]=="e":
|
if self.argv[0]=="e":
|
||||||
@ -346,6 +349,8 @@ class Command_prompt(Label):
|
|||||||
self.app.openfile=self.argv[1]
|
self.app.openfile=self.argv[1]
|
||||||
# read the file
|
# read the file
|
||||||
self.app.painter.read(self.argv[1])
|
self.app.painter.read(self.argv[1])
|
||||||
|
# update status bar
|
||||||
|
self.app.status_bar.draw()
|
||||||
|
|
||||||
# quit
|
# quit
|
||||||
if self.argv[0]=="q" or self.argv=="wq":
|
if self.argv[0]=="q" or self.argv=="wq":
|
||||||
|
Loading…
Reference in New Issue
Block a user