workspace → gui Relation

File in src/app/editor/system/workspace	Includes file in src/app/gui
editor_activator.cc	animation / animator.h
editor_activator.cc	core / icons.h
file_browser.cc	core / icons.h
file_browser.cc	core / style.h
file_browser.cc	core / style_guard.h
file_browser.cc	core / theme_manager.h
file_browser.cc	core / ui_helpers.h
proposal_drawer.cc	core / icons.h
proposal_drawer.cc	core / ui_helpers.h
workspace_window_manager.cc	animation / animator.h
workspace_window_manager.cc	app / editor_layout.h
workspace_window_manager.cc	core / icons.h
workspace_window_manager.cc	core / layout_helpers.h
workspace_window_manager.cc	core / style_guard.h
workspace_window_manager_support.cc	animation / animator.h