// -*- mode: javascript -*- require("new-tabs.js"); require("clicks-in-new-buffer-button.js");