jrpie/launcher
1
0
Fork 0
mirror of https://github.com/jrpie/Launcher.git synced 2025-04-20 02:40:52 +02:00
Code Issues Projects Releases Packages Wiki Activity Actions

Create a basic tabbed settings activity

Browse source 
Tabs: Apps, Theme, Launcher
This commit is contained in:
Finn M Glas 2020-05-21 07:35:09 +02:00
parent 75af3f2866
commit abd7a44874
No known key found for this signature in database
GPG key ID: 25037A2E81AB459C
9 changed files with 126 additions and 305 deletions
Download patch file Download diff file Expand all files Collapse all files

8
app/src/main/res/values/dimens.xml Normal file
View file

@ -0,0 +1,8 @@
<resources>
<!-- Default screen margins, per the Android Design guidelines. -->
<dimen name="activity_horizontal_margin">16dp</dimen>
<dimen name="activity_vertical_margin">16dp</dimen>
<dimen name="appbar_padding">16dp</dimen>
<dimen name="fab_margin">16dp</dimen>
<dimen name="appbar_padding_top">8dp</dimen>
</resources>