8 Commits

Include renames

Author	SHA1	Message	Date
Charles Lombardo	2a0939ab98	Android: Pad menu fragment when expanding to cutout area	2022-12-04 12:39:51 -05:00
Charles Lombardo	275e9e3a58	Android: Adjust card_width	2022-11-16 15:33:38 -05:00
Charles Lombardo	eb060c7356	Android: Dynamically adapt grid span to card_game size ... In order to avoid getting stuck making a new dimension file every time a new device is found we take a known value for how large the game card will be, take the screen size, and adjust the grid accordingly.	2022-11-13 15:49:29 -05:00
Ryan Meredith	7d39ed9bcc	Android: res cleanup	2020-08-31 06:49:10 -04:00
mahdihijazi	a1d713c589	[Android] Cleanup unused resources & code	2017-08-20 15:49:39 +02:00
sigmabeta	ce8a3d9bfb	Implement basic framework for new Settings UI	2016-01-23 12:28:50 -05:00
sigmabeta	8b5b83c29a	Android Refactor: GameGridActivity is now MainActivity, and uses a Toolbar that reacts to the game grid scrolling.	2015-06-23 21:54:09 -04:00
Eder Bastos	b47835fc07	Implement first few screens of Android 5.0-based UI.	2015-05-07 22:27:42 -04:00