Merge "profiling: fix size_t being hidden"
diff --git a/ui/src/frontend/details_panel.ts b/ui/src/frontend/details_panel.ts
index 27e9952..9212720 100644
--- a/ui/src/frontend/details_panel.ts
+++ b/ui/src/frontend/details_panel.ts
@@ -159,7 +159,7 @@
     const renderTab = (tab: Tab) => {
       if (globals.state.currentTab === tab.key ||
           globals.state.currentTab === undefined &&
-              attrs.tabs.keys().next().value === tab.key) {
+              attrs.tabs[0].key === tab.key) {
         // Update currentTab in case we didn't have one before.
         globals.dispatch(Actions.setCurrentTab({tab: tab.key}));
         return m('.tab[active]', tab.name);