Christian Helmuth
2b3370c8d8
depot: update recipe hashes
2022-02-28 11:46:35 +01:00
Norman Feske
649647538b
depot: update recipe hashes
2022-02-15 10:23:59 +01:00
Christian Helmuth
65284b29f8
depot: update recipe hashes
2022-01-19 12:38:13 +01:00
Norman Feske
5611fd2355
depot: update recipe hashes
2021-12-17 15:06:38 +01:00
Christian Helmuth
92b7be4d11
depot: update recipe hashes
2021-11-30 12:08:54 +01:00
Christian Helmuth
abc9a2f232
depot: update recipe hashes
2021-10-14 13:46:25 +02:00
Christian Helmuth
83c5648d33
depot: update recipe hashes
2021-08-30 15:00:39 +02:00
Christian Helmuth
ece33d37f8
depot: update recipe hashes
2021-06-25 11:46:37 +02:00
Johannes Schlatow
026b117a63
separate sandbox api from os
...
genodelabs/genode#4191
2021-06-25 11:41:45 +02:00
Christian Helmuth
1d52bd017d
depot: update recipe hashes
2021-05-28 14:16:46 +02:00
Christian Helmuth
777923f9bd
depot: update recipe hashes
2021-05-10 11:18:12 +02:00
Norman Feske
516a9a6925
depot: update recipe hashes
2021-05-05 11:35:31 +02:00
Norman Feske
efbed6f7bf
depot: update recipe hashes
2021-04-20 12:10:58 +02:00
Norman Feske
64165d829e
depot: update recipe hashes
2021-02-23 12:07:18 +01:00
Norman Feske
a981fb864c
depot: update recipe hashes
2021-01-25 14:00:43 +01:00
Christian Helmuth
1bef11accf
depot: update recipe hashes
2020-12-18 09:10:52 +01:00
Christian Helmuth
f2e0c164c2
depot: update recipe hashes
2020-11-27 09:21:06 +01:00
Christian Helmuth
91f8281618
depot: update recipe hashes
2020-10-09 13:35:57 +02:00
Christian Helmuth
c59c266afc
depot: update recipe hashes
2020-09-17 14:23:14 +02:00
Christian Helmuth
c649307720
depot: update recipe hashes
2020-08-28 08:29:12 +02:00
Norman Feske
7d0cb9620b
depot: update recipe hashes
2020-08-25 11:50:41 +02:00
Norman Feske
de795b1a6e
depot: update recipe hashes
2020-07-13 11:33:53 +02:00
Norman Feske
4450b37ff5
depot: update recipe hashes
2020-06-29 14:25:28 +02:00
Norman Feske
eb3a81a874
depot: update recipe hashes
2020-06-22 09:39:41 +02:00
Norman Feske
c6eda9bd80
Rename include/nitpicker_session to gui_session
...
This patch also renames the depot api archive accordingly.
Issue #3778
2020-06-22 09:39:39 +02:00
Christian Helmuth
6006051fb9
depot: update recipe hashes
2020-05-27 11:56:47 +02:00
Norman Feske
0f27d139bd
depot: update recipe hashes
2020-05-18 10:16:59 +02:00
Norman Feske
dd899fde29
depot: update recipe hashes
2020-04-24 14:37:57 +02:00
Christian Helmuth
b60b591d06
depot: update recipe hashes
2020-04-17 12:40:13 +02:00
Norman Feske
46fa8197a2
depot: update recipe hashes
2020-03-26 11:39:02 +01:00
Christian Helmuth
bf36d9eb48
depot: update recipe hashes
2020-03-09 16:02:56 +01:00
Christian Helmuth
5affd51250
depot: update recipe hashes
2020-02-28 08:59:43 +01:00
Norman Feske
5eaaee0dbe
text_area: a simple text viewer / editor
...
The new text_area component is able to view and edit files.
Internally, it employs a menu_view for the graphics output.
Only basic notepad-like text-editing functions are supported.
At the current time, it is solely meant as a companion of the Sculpt
manager.
Issue #3650
2020-02-27 14:46:58 +01:00