ini :: IniFile :: update_value
private fun update_value(key: String, value: nullable String) do if value == null then return if not has_key(key) then self[key] = value else var old_value = self[key] if not value.is_empty and old_value != value then self[key] = value end end end