Tim Eves 0fdb64011f Fix bugs in options_set api ... * Initialise cached option value with options_set's scope so correct scope is returned. * Use unordered_map::operator[] as emplace never overwrites. * Ensure that km_kbp_options_set_to_json() returns the document size including the null. * correct scope_name_lut so scope names are in the right order.		2018-10-30 17:07:00 +07:00
..
keyboardprocessor	Fix bugs in options_set api	2018-10-30 17:07:00 +07:00