dart - Dartのjson結果でオプションを更新する方法

Question

私のオプション値はサーバーからダウンロードされます。サーバーが結果を返した後にオプション値を更新するにはどうすればよいですか?

 <select name="book" template iterate="book in books" bind-value="selected">
 <option selected="{{selected == book}}">{{book}}</option>
 </select>

.dart で

 List<String> books= <String>[''];
 @observable
 String selected = 'Doraemon';
 void main() {
      var request = HttpRequest.getString(url).then((jstr){
      // Parse json
      Map data = json.parse(jstr);
      print(data['option']['books']);
      // Refresh the list, but how to refresh option value?
      books.addAll(data['option']['books']);
 }

Answer 1

「toObservable」への呼び出しで book 値をラップする必要があります。https://www.dartlang.org/web-ui/observables/#observing-collections

List<String> books= toObservable(<String>['']);