genode/repos/gems/src/app
Christian Helmuth ae7fbd6b1a terminal: modernize color palette
The terminal now got a configurable palette for 16 colors (8 normal, 8
bright/bold).

  <config>
    <palette>
      <color index="0" value="#000000"/> <!-- black is real black -->
      <color index="8" value="#101010"/> <!-- bright black stands out a bit -->
    </palette>
  </config>

Note, the old (undocumented) <color index="..." bg="..."> configuration
scheme is no longer supported.

Also, this commit adds a pleasing default palette that ensures
readability of ViM's standard hightlighting.

Fixes #3406
2019-06-13 12:22:48 +02:00
..
backdrop gems: remove the use of deprecated APIs 2019-01-30 13:49:54 +01:00
cpu_load_display timeout: use uint64_t for all plain time values 2019-05-06 16:15:26 +02:00
decorator Add missing override annotations 2019-02-19 11:12:11 +01:00
depot_autopilot timeout: use uint64_t for all plain time values 2019-05-06 16:15:26 +02:00
depot_deploy sculpt: browse depot index files in '+' menu 2019-02-28 11:34:07 +01:00
depot_download_manager timeout: use uint64_t for all plain time values 2019-05-06 16:15:26 +02:00
depot_query sculpt: gracefully handle missing depot-user info 2019-03-18 15:56:24 +01:00
driver_manager driver_manager: fix vesa_fb_drv binary usage 2019-06-13 12:17:31 +02:00
fs_query VFS: Replace global response handlers with local handlers 2019-04-09 12:30:34 +02:00
fs_tool VFS: Replace global response handlers with local handlers 2019-04-09 12:30:34 +02:00
gpt_write block_session: turn 'Connection' into template 2019-05-06 16:15:25 +02:00
launcher timeout: use uint64_t for all plain time values 2019-05-06 16:15:26 +02:00
menu_view menu_view: midway re-targeting of geometry motion 2019-05-06 16:15:26 +02:00
mixer_gui_qt qt5: remove deprecated APIs 2019-02-26 14:38:03 +01:00
nano3d timeout: use uint64_t for all plain time values 2019-05-06 16:15:26 +02:00
pipe Standalone POSIX pipe utility 2018-03-08 15:22:12 +01:00
sculpt_manager terminal: modernize color palette 2019-06-13 12:22:48 +02:00
themed_decorator gems: remove the use of deprecated APIs 2019-01-30 13:49:54 +01:00
window_layouter window layouter: improved maximize handling 2019-03-18 15:56:59 +01:00