Theme + font configuring? about gdb-frontend

[rohanrhu]

Hi, theming is actually simple but we need a CSS file configuration. I will add a setting for choosing themes. Theme will be a CSS file but we also need a theme configuration for the editor so theme folders will contain theme CSS and editor theme.

[rohanrhu]

I just remembered plugin system. Themes can be written as plugins. You can make themes as plugins with name format of theme_THEMENAME.

There is a plugin development tutorial: https://github.com/rohanrhu/gdb-frontend/wiki/Plugin-Development-Tutorial

I added an example theme plugin: https://github.com/rohanrhu/gdb-frontend/tree/master/plugins/theme_light

You can enable it with commenting the line of "theme_light":

gdb-frontend/config.py

Lines 20 to 23 in c8a9549

	disabled_plugins = [
	"hello",
	"theme_light"
	]

For editor theme, I added a method to FileTabs component. You can see that in example theme:

gdb-frontend/plugins/theme_light/frontend/js/theme_light.js

Lines 12 to 14 in c8a9549

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

Note: You must restart GDBFrontend when you edit config.py.

---

Also I will add an option for changing themes. (Theme plugin names must be start with theme_, so there will be a select box for switching between themes.)

[rohanrhu]

I added theme commands to GDB shell.

So you can change theme like:

gf-theme light

or for default theme:

gf-theme default