Merge requests · World / Phosh / squeekboard

Some cleanups, and some FIXME hints for future work (no functional changes)

!39 · created Jul 09, 2019 by Administrator
- Merged
- 1
updated Jul 09, 2019
Silence warnings

!40 · created Jul 09, 2019 by Administrator
- Closed
- 3
updated Jul 09, 2019
Remove currently unused eekboard code

!41 · created Jul 09, 2019 by Administrator
- Merged
- 1
- 3
updated Jul 09, 2019
Remove unused color definitions

!42 · created Jul 09, 2019 by Administrator
- Merged
- 1
- 0
updated Jul 09, 2019
Add some border at the top

!43 · created Jul 10, 2019 by Administrator
- Merged
- 1
- 2
updated Jul 11, 2019
More cleanups

!44 · created Jul 10, 2019 by Administrator
- Closed
- 2
updated Jul 11, 2019
I believe this is needed to fix up rebase of !28

!45 · created Jul 10, 2019 by Administrator
- Closed
- 3
updated Jul 16, 2019
Drop now unused theme_path

!46 · created Jul 10, 2019 by Administrator
- Merged
- 1
updated Jul 10, 2019
Use an icon for backspace

!47 · created Jul 10, 2019 by Administrator
- Merged
- 3
updated Jul 10, 2019
Update symbols to more closely resemble #38

!48 · created Jul 10, 2019 by Administrator
- Merged
- 0
updated Jul 10, 2019
FINAL: bundle xml resources, allows running uninstalled from git repo

!49 · created Jul 10, 2019 by Administrator
- Merged
- 1
- 15
updated Jul 11, 2019
Specify a keyval to make the backspace key work again

!50 · created Jul 10, 2019 by Administrator
- Merged
- 1
updated Jul 10, 2019
Implement basic keyboard views

!51 · created Jul 10, 2019 by Administrator
- Merged
- 1
- 1
updated Jul 11, 2019
Simplify icon rendering a bit

!52 · created Jul 11, 2019 by Administrator
- Merged
- 2
updated Jul 12, 2019
MERGE these: Some bugfixes - the buildsystem is acting up again

!53 · created Jul 11, 2019 by Administrator
- Merged
- 1
updated Jul 11, 2019
gitlab-ci: No need for our ci repository

!54 · created Jul 11, 2019 by Administrator
- Merged
- 1
updated Jul 11, 2019
Improve view behavior to more closely reflect #38

!55 · created Jul 11, 2019 by Administrator
- Merged
- 7
updated Jul 11, 2019
Honor widget scale factor

!56 · created Jul 11, 2019 by Administrator
- Merged
- 3
updated Jul 15, 2019
Basic functioning views

!57 · created Jul 11, 2019 by Administrator
- Merged
- 0
updated Jul 11, 2019
Fix clipping issue at bottom of keyboard

!58 · created Jul 11, 2019 by Administrator
- Merged
- 1
updated Jul 11, 2019