| Name | Description | Size | Coverage |
|---|---|---|---|
| main.cc | while (gtk_events_pending()) { gtk_main_iteration(); } | 3867 | - |
| main_wnd.cc | 15667 | - | |
| main_wnd.h | 4338 | - |
| Name | Description | Size | Coverage |
|---|---|---|---|
| main.cc | while (gtk_events_pending()) { gtk_main_iteration(); } | 3867 | - |
| main_wnd.cc | 15667 | - | |
| main_wnd.h | 4338 | - |