画像ウィジェットを画像リソース自体よりも小さいサイズに縮小できるかどうか疑問に思っています。私は次のことを試しました:
imageResource.setSize(size, size);
imageResource.setPixelSize(size, size);
CSSファイルのサイズ変更も試しました。しかし、画像のサイズを元のサイズよりも小さくすると、画像がトリミングされるだけで、実際には縮小されません。解決策は、必要に応じて拡大できる高解像度の小さな画像を使用することですが、ここに何かが欠けているように感じます。