| commit | 7b79b1e13def819704cfbcfc92c028c37ece5d4d | [log] [tgz] |
|---|---|---|
| author | Jorim Jaggi <jjaggi@google.com> | Mon Dec 07 14:18:16 2015 -0800 |
| committer | Jorim Jaggi <jjaggi@google.com> | Mon Dec 07 14:24:29 2015 -0800 |
| tree | a226fbe2b4a1cd67fa55fd8ecc026021970785c7 | |
| parent | 8fccfe28145f59f6620e37b7f34190bca4c4dbcd [diff] |
Fix round rect in divider handle Also make it a bit larger to make it more grabable. Change-Id: I2335e85b35a90d87d1b6f889921731833199cd3e