Set menubar fontsize to a fixed value.
[matthijs/projects/wipi.git] / data / exodus / plugin
1 ../../plugin/