2016-06-13 22:53:41 +02:00
|
|
|
package info.nightscout.androidaps.events;
|
|
|
|
|
|
|
|
/**
|
|
|
|
* Created by mike on 13.06.2016.
|
|
|
|
*/
|
2017-10-14 16:06:01 +02:00
|
|
|
public class EventRefreshGui extends Event {
|
2017-12-31 16:44:13 +01:00
|
|
|
public boolean recreate = false;
|
|
|
|
public EventRefreshGui(boolean recreate) {
|
|
|
|
this.recreate = recreate;
|
|
|
|
}
|
|
|
|
public EventRefreshGui(){
|
|
|
|
this(false);
|
|
|
|
}
|
2016-06-13 22:53:41 +02:00
|
|
|
}
|