ehmry/genode
ehmry/genode
1
0
Fork 0
Code Issues Pull Requests Releases Wiki Activity
d0e1ddb8c2
genode/repos/gems/src/app
History
Norman Feske d0e1ddb8c2 sculpt: cache runtime-config info for GUI 
Instead of parsing the runtime's configuration each time when generating
the graph dialog (e.g., when changing the hover state), extract the
relevant information only on configuration changes.
2019-02-28 11:34:06 +01:00
..
backdrop gems: remove the use of deprecated APIs 2019-01-30 13:49:54 +01:00
cpu_load_display gems: remove the use of deprecated APIs 2019-01-30 13:49:54 +01:00
decorator Add missing override annotations 2019-02-19 11:12:11 +01:00
depot_autopilot Add missing override annotations 2019-02-19 11:12:11 +01:00
depot_deploy gems: remove the use of deprecated APIs 2019-01-30 13:49:54 +01:00
depot_download_manager depot_download: support downloading index files 2019-02-28 11:34:06 +01:00
depot_query depot_query: scan depot for users 2019-02-28 11:34:06 +01:00
driver_manager gems: remove the use of deprecated APIs 2019-01-30 13:49:54 +01:00
fs_query gems: remove the use of deprecated APIs 2019-01-30 13:49:54 +01:00
gpt_write gpt_write: add flag to preserve hybrid 2018-06-12 12:11:41 +02:00
launcher gems: remove the use of deprecated APIs 2019-01-30 13:49:54 +01:00
menu_view menu_view: remove "failed to construct" message 2019-02-28 11:34:06 +01:00
mixer_gui_qt qt5: remove deprecated APIs 2019-02-26 14:38:03 +01:00
nano3d gems: enable strict warnings for more components 2019-01-30 13:35:28 +01:00
pipe Standalone POSIX pipe utility 2018-03-08 15:22:12 +01:00
sculpt_manager sculpt: cache runtime-config info for GUI 2019-02-28 11:34:06 +01:00
themed_decorator gems: remove the use of deprecated APIs 2019-01-30 13:49:54 +01:00
window_layouter gems: remove the use of deprecated APIs 2019-01-30 13:49:54 +01:00