Miroirs/xwords
1
0
Fork 0
mirror of git://xwords.git.sourceforge.net/gitroot/xwords/xwords synced 2025-01-31 19:57:06 +01:00
Code Issues Projects Releases Packages Wiki Activity

set tile border (highlighted and not) proportional to tile size for

Browse source 
greater visibility on high-res devices
This commit is contained in:
Eric House 2013-11-10 09:05:31 -08:00
parent ad464b8861
commit 37aa4a9adf
1 changed files with 16 additions and 11 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

27
xwords4/android/XWords4/src/org/eehouse/android/xw4/BoardCanvas.java
View file

@ -141,14 +141,6 @@ public class BoardCanvas extends Canvas implements DrawCtx {
m_fillPaint = new Paint( Paint.ANTI_ALIAS_FLAG ); m_fillPaint = new Paint( Paint.ANTI_ALIAS_FLAG );
m_strokePaint = new Paint(); m_strokePaint = new Paint();
m_strokePaint.setStyle( Paint.Style.STROKE ); m_strokePaint.setStyle( Paint.Style.STROKE );
m_tileStrokePaint = new Paint();
m_tileStrokePaint.setStyle( Paint.Style.STROKE );
float curWidth = m_tileStrokePaint.getStrokeWidth();
curWidth *= 2;
if ( curWidth < 2 ) {
curWidth = 2;
}
m_tileStrokePaint.setStrokeWidth( curWidth );
Resources res = activity.getResources(); Resources res = activity.getResources();
m_origin = res.getDrawable( R.drawable.origin ); m_origin = res.getDrawable( R.drawable.origin );
@ -574,10 +566,12 @@ public class BoardCanvas extends Canvas implements DrawCtx {
if ( notEmpty ) { if ( notEmpty ) {
drew = positionDrawTile( rect, text, val ); drew = positionDrawTile( rect, text, val );
drawRect( rect, m_tileStrokePaint); // frame Paint paint = getTileStrokePaint( rect );
drawRect( rect, paint ); // frame
if ( 0 != (flags & CELL_HIGHLIGHT) ) { if ( 0 != (flags & CELL_HIGHLIGHT) ) {
rect.inset( 2, 2 ); int width = (int)paint.getStrokeWidth();
drawRect( rect, m_tileStrokePaint ); // frame rect.inset( width, width );
drawRect( rect, paint ); // frame
} }
} }
} }
@ -847,4 +841,15 @@ public class BoardCanvas extends Canvas implements DrawCtx {
return result; return result;
} }
private Paint getTileStrokePaint( final Rect rect )
{
if ( null == m_tileStrokePaint ) {
Paint paint = new Paint();
paint.setStyle( Paint.Style.STROKE );
paint.setStrokeWidth( Math.max( 2, rect.width() / 20 ) );
m_tileStrokePaint = paint;
}
return m_tileStrokePaint;
}
} }