Few words:
1) We can not get rid yet of the menu.png files as they are used at other places (Editor, Messages...). Those should be targetted next.
2) I agree that I can live with the current state of the menu images on this branch. Though I did not have a look at them with very low resolution, rather the opposite ;-) But I trust your eyes more than mine.
3) Maybe we should file two new bugs then after merging this: Get rid of menu.png files, and find a better scaling algorithm.
Unfortunately I can not contribute to widelands development for the next few weeks.
Sorry, got distracted by 'the other life'.
I say this is good enough to go on trunk.
Few words:
1) We can not get rid yet of the menu.png files as they are used at other places (Editor, Messages...). Those should be targetted next.
2) I agree that I can live with the current state of the menu images on this branch. Though I did not have a look at them with very low resolution, rather the opposite ;-) But I trust your eyes more than mine.
3) Maybe we should file two new bugs then after merging this: Get rid of menu.png files, and find a better scaling algorithm.
Unfortunately I can not contribute to widelands development for the next few weeks.