(k: String, v: String)
| 1482 | } |
| 1483 | |
| 1484 | pub fn set_flutter_option(k: String, v: String) { |
| 1485 | let mut config = LOCAL_CONFIG.write().unwrap(); |
| 1486 | let v2 = if v.is_empty() { None } else { Some(&v) }; |
| 1487 | if v2 != config.ui_flutter.get(&k) { |
| 1488 | if v2.is_none() { |
| 1489 | config.ui_flutter.remove(&k); |
| 1490 | } else { |
| 1491 | config.ui_flutter.insert(k, v); |
| 1492 | } |
| 1493 | config.store(); |
| 1494 | } |
| 1495 | } |
| 1496 | } |
| 1497 | |
| 1498 | #[derive(Debug, Default, Serialize, Deserialize, Clone)] |