Close active tabs on refresh

#1

hey i want to close all the active tabs or editors whenever i refresh webpage,
is there any setting already in theia editor ???

#2

@Siddharth I don’t believe there is any existing preference to close tabs or editors on refresh due to it not being the best user experience. You’ll likely need to implement the feature in your own extension.

The idea might be to:

  • implement FrontendApplicationContribution and use something like onWillStop to add your handling
  • you can either handle closing of tabs, and editors yourself or even programatically execute the command reset workbench layout which will reset the entire layout data