Thanks for your suggestion! Feel free to create a new feature request on GitHub (https://github.com/judge0/ide/issues/new https://github.com/judge0/ide/issues/n

Thanks for your suggestion! Feel free to create a new feature request on GitHub (https://github.com/judge0/ide/issues/new https://github.com/judge0/ide/issues/new) and I will add it in the next release.