/*
 * gdb-frontend is a easy, flexible and extensionable gui debugger
 *
 * https://github.com/rohanrhu/gdb-frontend
 * https://oguzhaneroglu.com/projects/gdb-frontend/
 *
 * Licensed under GNU/GPLv3
 * Copyright (C) 2019, Oğuzhan Eroğlu (https://oguzhaneroglu.com/) <rohanrhu2@gmail.com>
 *
 */

GDBFrontend.ThemeSakura = {};

$(document).ready(function () {
    GDBFrontend.components.gdbFrontend.components.fileTabs.setAceTheme('ace/theme/tomorrow_night_bright');
});