threepenny-gui パッケージで作成された GUI のボタンやその他の UI 要素のサイズと位置を変更するにはどうすればよいですか?
のドキュメントにGraphics.UI.Threepenny.Attributes
は、おそらく役立ついくつかの関数がリストされていcoords :: WriteAttr Element String
ます。しかし、私はそれらを使用する方法を理解していません。String
具体的には、議論がどうあるべきか理解できません。
ありがとう
threepenny-gui パッケージで作成された GUI のボタンやその他の UI 要素のサイズと位置を変更するにはどうすればよいですか?
のドキュメントにGraphics.UI.Threepenny.Attributes
は、おそらく役立ついくつかの関数がリストされていcoords :: WriteAttr Element String
ます。しかし、私はそれらを使用する方法を理解していません。String
具体的には、議論がどうあるべきか理解できません。
ありがとう