flipper

jens/flipper

Fork 0

Commit Graph

Author	SHA1	Message	Date
Andres Suarez	0675dd924d	Tidy up Flipper license headers [1/2] Reviewed By: passy Differential Revision: D17863711 fbshipit-source-id: 259dc77826fb803ff1b88c88529d7f679d3b74d8	2019-10-11 13:46:45 -07:00
John Knox	b50aef8f15	Restart after changing settings Summary: Gets flipper to restart when settings are updated. In theory most settings should not need this, but the current only one does (android home) because the path is set at startup only, and this modifies the input to it. It would be a bit awkward to modify the path more than once, but doable. Reviewed By: passy Differential Revision: D17737582 fbshipit-source-id: d4669dcc7acc95469f15783fc6a5ba6794750234	2019-10-07 08:51:06 -07:00

Author

SHA1

Message

Date

Andres Suarez

0675dd924d

Tidy up Flipper license headers [1/2]

Reviewed By: passy

Differential Revision: D17863711

fbshipit-source-id: 259dc77826fb803ff1b88c88529d7f679d3b74d8

2019-10-11 13:46:45 -07:00

John Knox

b50aef8f15

Restart after changing settings

Summary:
Gets flipper to restart when settings are updated.

In theory most settings should not need this, but the current only one does (android home) because the path is set at startup only, and this modifies the input to it.
It would be a bit awkward to modify the path more than once, but doable.

Reviewed By: passy

Differential Revision: D17737582

fbshipit-source-id: d4669dcc7acc95469f15783fc6a5ba6794750234

2019-10-07 08:51:06 -07:00

2 Commits