Add Guest -> Operating system information menu item.
authorRichard W.M. Jones <rjones@redhat.com>
Fri, 29 Jul 2011 09:51:54 +0000 (10:51 +0100)
committerRichard W.M. Jones <rjones@redhat.com>
Fri, 29 Jul 2011 09:55:50 +0000 (10:55 +0100)
commitc21ba5da9a0319c172ef7759dc4771f07d3f72e9
treee4ef64606410fe449e689caded3eaeeb5fb47afb
parent2ed92137182d4d479dddddeccaf6ad8dae967895
Add Guest -> Operating system information menu item.

Also some refactoring of the menu code.
filetree.ml
filetree.mli
main.ml
op_inspection_dialog.ml
window.ml
window.mli