v0.7.5b: tweaked spacing for WndOptions

This commit is contained in:
Evan Debenham 2019-10-12 19:22:03 -04:00
parent 84fa9daa5f
commit 023f580e01

View File

@ -48,10 +48,10 @@ public class WndOptions extends Window {
RenderedTextBlock tfMesage = PixelScene.renderTextBlock( 6 ); RenderedTextBlock tfMesage = PixelScene.renderTextBlock( 6 );
tfMesage.text(message, width - MARGIN * 2); tfMesage.text(message, width - MARGIN * 2);
tfMesage.setPos( MARGIN, tfTitle.top() + tfTitle.height() + MARGIN ); tfMesage.setPos( MARGIN, tfTitle.top() + tfTitle.height() + 2*MARGIN );
add( tfMesage ); add( tfMesage );
float pos = tfMesage.bottom() + MARGIN; float pos = tfMesage.bottom() + 2*MARGIN;
for (int i=0; i < options.length; i++) { for (int i=0; i < options.length; i++) {
final int index = i; final int index = i;