!7 sclass Tab { S name, moduleID; } compact module Tabs { transient NotifyingList tabs; transient JComponent grid; S libID = "#1016118/SFEditor"; start { tabs = notifyingList(r change + r updateTabs); dm_vmBus_onMessage_q('moduleStarted, voidfunc(S moduleID) { addTabForModule(moduleID) }); dm_vmBus_onMessage_q('deletingModule, voidfunc(O module) { removeTabForModule(dm_moduleID(module)) }); dm_vmBus_onMessage_q('moduleNameChange, voidfunc(O module, S oldName, S newName) { updateTabForModule(dm_moduleID(module)) }); dm_q(r { for (S moduleID : dm_listModuleIDs()) addTabForModule(moduleID) }); dm_vmBus_onMessage_q('newActiveModule, vf selectModule); } visualize { grid = hgridWithSpacing(); updateTabs(); ret withButtonsAbove(grid, "+", rThread dm_newEditor); } void updateTabs q { if (grid == null) ret; replaceComponentsOfHGrid(grid, map(cloneList(tabs), func(final Tab tab) -> JComponent { onLeftClick(setOpaqueBackground(Color.LIGHT_GRAY, jcenteredlabel(tab.name)), r { showModule(tab.moduleID) }) })); selectModule(dm_activeModule()); } void addTabForModule(S moduleID) { if (eq(dm_moduleLibID(moduleID), libID) && !containsWhere(tabs, +moduleID)) tabs.add(nu(Tab, name := moduleName(moduleID), +moduleID)); } void removeTabForModule(S moduleID) { removeWhere(tabs, +moduleID); } void updateTabForModule(S moduleID) { Tab tab = firstWhere(tabs, +moduleID); if (tab == null) ret; tab.name = moduleName(moduleID); tabs.change(); } S moduleName(O module) { ret dropPrefix("Editing: ", dm_moduleName(module)); } void selectModule(O module) { if (module == null || dm_isMe(module) || !dm_isVisible()) ret; int idx = indexOfWhere(tabs, moduleID := dm_moduleID(module)); for i over tabs: { JComponent c = cast getComponentAtIndex(grid, i); if (i == idx) makeBold(c); else makeNonBold(c); } } void showModule(O module) { dm_showModule(module); Rect r = dm_bounds(module), me = dm_bounds(); dm_setBounds(module, me.x, me.y2(), me.w, r.h); } }