editing → gui Relation

File in src/app/editor/graphics/ui/editing	Includes file in src/app/gui
pixel_editor_view.cc	core / icons.h
pixel_editor_view.cc	core / style.h
pixel_editor_view.cc	core / style_guard.h
pixel_editor_view.cc	core / theme_manager.h
pixel_editor_view.cc	widgets / themed_widgets.h
pixel_editor_view.cc	core / ui_helpers.h
pixel_editor_view.h	canvas / canvas.h
pixel_editor_view.h	core / icons.h