mirror of
https://github.com/genodelabs/genode.git
synced 2024-12-19 21:57:55 +00:00
1ead0ea3a7
By clicking on a yellow checkbox in the depot selection dialog, the corresponding index files are removed. This way, index files can be update by removing and downloading them again. This patch also filters out sculpt-managed components from the graph to avoid erratic graph-position changes while the '+' menu is open. Fixes #3193 |
||
|---|---|---|
| .. | ||
| backdrop | ||
| depot_download | ||
| drivers_managed-pc | ||
| drivers_nic-pc | ||
| fonts_fs | ||
| motif_decorator | ||
| motif_wm | ||
| nano3d | ||
| sculpt | ||
| sculpt-installation | ||
| sticks_blue_backdrop | ||
| terminal | ||
| test-depot_query_index | ||
| test-fs_tool | ||
| test-libc_vfs_audit | ||
| test-magic_ring_buffer | ||
| test-pipe | ||
| themed_decorator | ||
| themed_wm | ||
| window_layouter | ||
| wm | ||