miguel.horta/commandergenius
1
0
Fork 0
Code Issues Pull Requests Packages Projects Releases Wiki Activity

Padding for downloader progress message

Browse Source
This commit is contained in:
Sergii Pylypenko
2013-12-16 19:40:42 +02:00
parent cea51d9614
commit ee82c8eeaf
1 changed files with 6 additions and 0 deletions
Download Patch File Download Diff File Expand all files Collapse all files

6
project/java/MainActivity.java
View File

@@ -219,10 +219,16 @@ public class MainActivity extends Activity
} }
if( Parent._tv == null ) if( Parent._tv == null )
{ {
//Get the display so we can know the screen size
Display display = getWindowManager().getDefaultDisplay();
int width = display.getWidth();
int height = display.getHeight();
Parent._tv = new TextView(Parent); Parent._tv = new TextView(Parent);
Parent._tv.setMaxLines(2); // To show some long texts on smaller devices Parent._tv.setMaxLines(2); // To show some long texts on smaller devices
Parent._tv.setMinLines(2); // Otherwise the background picture is getting resized at random, which does not look good Parent._tv.setMinLines(2); // Otherwise the background picture is getting resized at random, which does not look good
Parent._tv.setText(R.string.init); Parent._tv.setText(R.string.init);
// Padding is a good idea because if the display device is a TV the edges might be cut off
Parent._tv.setPadding((int)(width * 0.1), (int)(height * 0.1), (int)(width * 0.1), 0);
Parent._layout2.addView(Parent._tv); Parent._layout2.addView(Parent._tv);
} }
} }