global.display.get_tab_list = function(type, workspace) {
const ret = oldGetTabList.call(this, type, workspace);
const currentWindow = global.display.get_focus_window().get_id();
- ret.sort((a, b) => roundRobinRomparitor(currentWindow, a, b));
+ ret.sort((a, b) => roundRobinComparitor(currentWindow, a, b));
return ret;
};
}