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