Welcome Lukasz and thanks for the patch :).
This patch is technically correct, but they drag a dependency on wui (widelands ui) into basic ui which is not desirable. basic ui is more fundamental than wui.
« Back to merge proposal
Welcome Lukasz and thanks for the patch :).
This patch is technically correct, but they drag a dependency on wui (widelands ui) into basic ui which is not desirable. basic ui is more fundamental than wui.