| .. |
|
SCsub
|
…
|
|
|
arrow_down.png
|
Revert "Add new editor and default theme (WIP)"
|
2017-05-03 06:19:15 +09:00 |
|
arrow_right.png
|
Revert "Add new editor and default theme (WIP)"
|
2017-05-03 06:19:15 +09:00 |
|
background.png
|
…
|
|
|
base_green.png
|
…
|
|
|
button_disabled.png
|
Revert "Add new editor and default theme (WIP)"
|
2017-05-03 06:19:15 +09:00 |
|
button_focus.png
|
…
|
|
|
button_hover.png
|
Revert "Add new editor and default theme (WIP)"
|
2017-05-03 06:19:15 +09:00 |
|
button_normal.png
|
Revert "Add new editor and default theme (WIP)"
|
2017-05-03 06:19:15 +09:00 |
|
button_pressed.png
|
Revert "Add new editor and default theme (WIP)"
|
2017-05-03 06:19:15 +09:00 |
|
checked.png
|
Revert "Add new editor and default theme (WIP)"
|
2017-05-03 06:19:15 +09:00 |
|
checker_bg.png
|
…
|
|
|
close.png
|
Revert "Add new editor and default theme (WIP)"
|
2017-05-03 06:19:15 +09:00 |
|
close_hl.png
|
Revert "Add new editor and default theme (WIP)"
|
2017-05-03 06:19:15 +09:00 |
|
color_picker_hue.png
|
…
|
|
|
color_picker_sample.png
|
…
|
|
|
default_theme.cpp
|
Remove obsolete ButtonArray theming
|
2017-11-15 22:53:38 +01:00 |
|
default_theme.h
|
Fix files header
|
2017-09-01 21:07:55 +07:00 |
|
dosfont.png
|
…
|
|
|
dropdown.png
|
Revert "Add new editor and default theme (WIP)"
|
2017-05-03 06:19:15 +09:00 |
|
error_icon.png
|
…
|
|
|
error_icon.xpm
|
…
|
|
|
focus.png
|
Revert "Add new editor and default theme (WIP)"
|
2017-05-03 06:19:15 +09:00 |
|
font_hidpi.inc
|
…
|
|
|
font_lodpi.inc
|
…
|
|
|
frame_focus.png
|
Revert "Add new editor and default theme (WIP)"
|
2017-05-03 06:19:15 +09:00 |
|
full_panel_bg.png
|
Revert "Add new editor and default theme (WIP)"
|
2017-05-03 06:19:15 +09:00 |
|
graph_node.png
|
Revert "Add new editor and default theme (WIP)"
|
2017-05-03 06:19:15 +09:00 |
|
graph_node_breakpoint.png
|
…
|
|
|
graph_node_close.png
|
…
|
|
|
graph_node_comment.png
|
Revert "Add new editor and default theme (WIP)"
|
2017-05-03 06:19:15 +09:00 |
|
graph_node_comment_focus.png
|
Revert "Add new editor and default theme (WIP)"
|
2017-05-03 06:19:15 +09:00 |
|
graph_node_default.png
|
…
|
|
|
graph_node_default_focus.png
|
…
|
|
|
graph_node_position.png
|
Revert "Add new editor and default theme (WIP)"
|
2017-05-03 06:19:15 +09:00 |
|
graph_node_selected.png
|
Revert "Add new editor and default theme (WIP)"
|
2017-05-03 06:19:15 +09:00 |
|
graph_port.png
|
…
|
|
|
hseparator.png
|
Revert "Add new editor and default theme (WIP)"
|
2017-05-03 06:19:15 +09:00 |
|
hslider_bg.png
|
Revert "Add new editor and default theme (WIP)"
|
2017-05-03 06:19:15 +09:00 |
|
hslider_grabber.png
|
Revert "Add new editor and default theme (WIP)"
|
2017-05-03 06:19:15 +09:00 |
|
hslider_grabber_disabled.png
|
Slider: add set/is_editable
|
2017-07-11 02:48:55 +07:00 |
|
hslider_grabber_hl.png
|
Revert "Add new editor and default theme (WIP)"
|
2017-05-03 06:19:15 +09:00 |
|
hslider_tick.png
|
…
|
|
|
hsplit_bg.png
|
Revert "Add new editor and default theme (WIP)"
|
2017-05-03 06:19:15 +09:00 |
|
hsplitter.png
|
Revert "Add new editor and default theme (WIP)"
|
2017-05-03 06:19:15 +09:00 |
|
icon_add.png
|
…
|
|
|
icon_close.png
|
Revert "Add new editor and default theme (WIP)"
|
2017-05-03 06:19:15 +09:00 |
|
icon_color_pick.png
|
…
|
|
|
icon_folder.png
|
…
|
|
|
icon_play.png
|
…
|
|
|
icon_reload.png
|
…
|
|
|
icon_snap_grid.png
|
Add some options and reorganize the 2D editor menus. Makes available forced snapping.
|
2017-09-18 23:20:18 +02:00 |
|
icon_stop.png
|
…
|
|
|
icon_zoom_less.png
|
…
|
|
|
icon_zoom_more.png
|
…
|
|
|
icon_zoom_reset.png
|
…
|
|
|
line_edit.png
|
Revert "Add new editor and default theme (WIP)"
|
2017-05-03 06:19:15 +09:00 |
|
line_edit_disabled.png
|
Revert "Add new editor and default theme (WIP)"
|
2017-05-03 06:19:15 +09:00 |
|
line_edit_focus.png
|
Revert "Add new editor and default theme (WIP)"
|
2017-05-03 06:19:15 +09:00 |
|
logo.png
|
…
|
|
|
make_header.py
|
Fix theme_data.h formatting via make_header.py
|
2017-04-27 08:58:11 +02:00 |
|
mini_checkerboard.png
|
Several visual improvements.
|
2017-09-28 15:00:43 -05:00 |
|
option_arrow.png
|
Revert "Add new editor and default theme (WIP)"
|
2017-05-03 06:19:15 +09:00 |
|
option_button_disabled.png
|
Revert "Add new editor and default theme (WIP)"
|
2017-05-03 06:19:15 +09:00 |
|
option_button_focus.png
|
Revert "Add new editor and default theme (WIP)"
|
2017-05-03 06:19:15 +09:00 |
|
option_button_hover.png
|
Revert "Add new editor and default theme (WIP)"
|
2017-05-03 06:19:15 +09:00 |
|
option_button_normal.png
|
Revert "Add new editor and default theme (WIP)"
|
2017-05-03 06:19:15 +09:00 |
|
option_button_pressed.png
|
Revert "Add new editor and default theme (WIP)"
|
2017-05-03 06:19:15 +09:00 |
|
panel_bg.png
|
Revert "Add new editor and default theme (WIP)"
|
2017-05-03 06:19:15 +09:00 |
|
popup_bg.png
|
Revert "Add new editor and default theme (WIP)"
|
2017-05-03 06:19:15 +09:00 |
|
popup_bg_disabled.png
|
…
|
|
|
popup_checked.png
|
…
|
|
|
popup_hover.png
|
Revert "Add new editor and default theme (WIP)"
|
2017-05-03 06:19:15 +09:00 |
|
popup_unchecked.png
|
Revert "Add new editor and default theme (WIP)"
|
2017-05-03 06:19:15 +09:00 |
|
popup_window.png
|
Revert "Add new editor and default theme (WIP)"
|
2017-05-03 06:19:15 +09:00 |
|
progress_bar.png
|
Revert "Add new editor and default theme (WIP)"
|
2017-05-03 06:19:15 +09:00 |
|
progress_fill.png
|
Revert "Add new editor and default theme (WIP)"
|
2017-05-03 06:19:15 +09:00 |
|
radio_checked.png
|
Revert "Add new editor and default theme (WIP)"
|
2017-05-03 06:19:15 +09:00 |
|
radio_unchecked.png
|
Revert "Add new editor and default theme (WIP)"
|
2017-05-03 06:19:15 +09:00 |
|
reference_border.png
|
…
|
|
|
scroll_bg.png
|
Revert "Add new editor and default theme (WIP)"
|
2017-05-03 06:19:15 +09:00 |
|
scroll_button_down.png
|
Revert "Add new editor and default theme (WIP)"
|
2017-05-03 06:19:15 +09:00 |
|
scroll_button_down_hl.png
|
Revert "Add new editor and default theme (WIP)"
|
2017-05-03 06:19:15 +09:00 |
|
scroll_button_left.png
|
Revert "Add new editor and default theme (WIP)"
|
2017-05-03 06:19:15 +09:00 |
|
scroll_button_left_hl.png
|
Revert "Add new editor and default theme (WIP)"
|
2017-05-03 06:19:15 +09:00 |
|
scroll_button_right.png
|
Revert "Add new editor and default theme (WIP)"
|
2017-05-03 06:19:15 +09:00 |
|
scroll_button_right_hl.png
|
Revert "Add new editor and default theme (WIP)"
|
2017-05-03 06:19:15 +09:00 |
|
scroll_button_up.png
|
Revert "Add new editor and default theme (WIP)"
|
2017-05-03 06:19:15 +09:00 |
|
scroll_button_up_hl.png
|
Revert "Add new editor and default theme (WIP)"
|
2017-05-03 06:19:15 +09:00 |
|
scroll_grabber.png
|
Revert "Add new editor and default theme (WIP)"
|
2017-05-03 06:19:15 +09:00 |
|
scroll_grabber_hl.png
|
Revert "Add new editor and default theme (WIP)"
|
2017-05-03 06:19:15 +09:00 |
|
scroll_grabber_pressed.png
|
Scroll bars now look different on press
|
2017-08-12 17:46:26 -04:00 |
|
selection.png
|
Revert "Add new editor and default theme (WIP)"
|
2017-05-03 06:19:15 +09:00 |
|
selection_oof.png
|
Revert "Add new editor and default theme (WIP)"
|
2017-05-03 06:19:15 +09:00 |
|
spinbox_updown.png
|
Revert "Add new editor and default theme (WIP)"
|
2017-05-03 06:19:15 +09:00 |
|
submenu.png
|
Revert "Add new editor and default theme (WIP)"
|
2017-05-03 06:19:15 +09:00 |
|
tab.png
|
Revert "Add new editor and default theme (WIP)"
|
2017-05-03 06:19:15 +09:00 |
|
tab_behind.png
|
Revert "Add new editor and default theme (WIP)"
|
2017-05-03 06:19:15 +09:00 |
|
tab_close.png
|
Revert "Add new editor and default theme (WIP)"
|
2017-05-03 06:19:15 +09:00 |
|
tab_container_bg.png
|
Revert "Add new editor and default theme (WIP)"
|
2017-05-03 06:19:15 +09:00 |
|
tab_current.png
|
Revert "Add new editor and default theme (WIP)"
|
2017-05-03 06:19:15 +09:00 |
|
tab_menu.png
|
Revert "Add new editor and default theme (WIP)"
|
2017-05-03 06:19:15 +09:00 |
|
tab_menu_hl.png
|
Revert "Add new editor and default theme (WIP)"
|
2017-05-03 06:19:15 +09:00 |
|
theme_data.h
|
Several visual improvements.
|
2017-09-28 15:00:43 -05:00 |
|
toggle_off.png
|
Revert "Add new editor and default theme (WIP)"
|
2017-05-03 06:19:15 +09:00 |
|
toggle_on.png
|
Revert "Add new editor and default theme (WIP)"
|
2017-05-03 06:19:15 +09:00 |
|
tool_button_pressed.png
|
Revert "Add new editor and default theme (WIP)"
|
2017-05-03 06:19:15 +09:00 |
|
tooltip_bg.png
|
Revert "Add new editor and default theme (WIP)"
|
2017-05-03 06:19:15 +09:00 |
|
tree_bg.png
|
Revert "Add new editor and default theme (WIP)"
|
2017-05-03 06:19:15 +09:00 |
|
tree_bg_focus.png
|
Revert "Add new editor and default theme (WIP)"
|
2017-05-03 06:19:15 +09:00 |
|
tree_cursor.png
|
…
|
|
|
tree_cursor_unfocus.png
|
…
|
|
|
tree_title.png
|
Revert "Add new editor and default theme (WIP)"
|
2017-05-03 06:19:15 +09:00 |
|
tree_title_pressed.png
|
Revert "Add new editor and default theme (WIP)"
|
2017-05-03 06:19:15 +09:00 |
|
unchecked.png
|
Revert "Add new editor and default theme (WIP)"
|
2017-05-03 06:19:15 +09:00 |
|
updown.png
|
Revert "Add new editor and default theme (WIP)"
|
2017-05-03 06:19:15 +09:00 |
|
vseparator.png
|
Revert "Add new editor and default theme (WIP)"
|
2017-05-03 06:19:15 +09:00 |
|
vslider_bg.png
|
Revert "Add new editor and default theme (WIP)"
|
2017-05-03 06:19:15 +09:00 |
|
vslider_grabber.png
|
Revert "Add new editor and default theme (WIP)"
|
2017-05-03 06:19:15 +09:00 |
|
vslider_grabber_disabled.png
|
Slider: add set/is_editable
|
2017-07-11 02:48:55 +07:00 |
|
vslider_grabber_hl.png
|
Revert "Add new editor and default theme (WIP)"
|
2017-05-03 06:19:15 +09:00 |
|
vslider_tick.png
|
…
|
|
|
vsplit_bg.png
|
Revert "Add new editor and default theme (WIP)"
|
2017-05-03 06:19:15 +09:00 |
|
vsplitter.png
|
Revert "Add new editor and default theme (WIP)"
|
2017-05-03 06:19:15 +09:00 |
|
window_resizer.png
|
Revert "Add new editor and default theme (WIP)"
|
2017-05-03 06:19:15 +09:00 |
|
xpmfix.sh
|
…
|
|
15a20f9746
