comparison: application/main.c
application/main.c
- changeset 623
- 1ebc781c7d17
- parent 594
- fc854e0ab924
- child 625
- 1726c5109ccd
equal
deleted
inserted
replaced
| 622:9090faa4094b | 623:1ebc781c7d17 |
|---|---|
| 114 | 114 |
| 115 static void action_document_selected(UiEvent *event, void *userdata) { | 115 static void action_document_selected(UiEvent *event, void *userdata) { |
| 116 Document *sub = event->eventdata; | 116 Document *sub = event->eventdata; |
| 117 ToplevelDoc *doc = event->document; | 117 ToplevelDoc *doc = event->document; |
| 118 if(doc->current) { | 118 if(doc->current) { |
| 119 ui_detach_document2(doc->ctx, doc->current); | 119 ui_detach_document(doc->ctx, doc->current); |
| 120 } | 120 } |
| 121 ui_attach_document(doc->ctx, sub); | 121 ui_attach_document(doc->ctx, sub); |
| 122 doc->current = sub; | 122 doc->current = sub; |
| 123 } | 123 } |
| 124 | 124 |
