Parent Directory | Revision Log | Patch
revision 1.1 by jefbed, Fri Aug 13 19:32:51 2004 UTC | revision 1.2 by jefbed, Mon Aug 16 17:27:05 2004 UTC | |
---|---|---|
# | Line 68 arshell_open_file() | Line 68 arshell_open_file() |
68 | arshell.edit.open_is_MDI=False; | arshell.edit.open_is_MDI=False; |
69 | } | } |
70 | ||
71 | void | |
72 | arshell_revert_file_cb() | |
73 | { | |
74 | arshell.edit.open_is_MDI=True; | |
75 | arshell_open_file(); | |
76 | } | |
77 | ||
78 | void | void |
79 | arshell_file_select_ok_cb(Widget widget, | arshell_file_select_ok_cb(Widget widget, |
|
savannah-hackers-public@gnu.org | ViewVC Help |
Powered by ViewVC 1.1.26 |