alex/genode-world
1
0
Fork 0
Code Issues Pull Requests Releases Wiki Activity

Transactional XML editor

Browse Source 
This patch introduces a single-file XML editor driven by Report clients.
The xml_editor component manages edits to a file and the xml_term_edit
component is a terminal-based frontend.

Fix #75
This commit is contained in:
Emery Hemingway
2017-06-01 20:41:15 -05:00
committed by Norman Feske
parent 670aab19e3
commit 47259f7854
13 changed files with 1043 additions and 0 deletions
Download Patch File Download Diff File Expand all files Collapse all files

2
recipes/src/xml_editor/content.mk Normal file
View File

@@ -0,0 +1,2 @@
SRC_DIR := src/app/xml_editor
include $(GENODE_DIR)/repos/base/recipes/src/content.inc

1
recipes/src/xml_editor/hash Normal file
View File

@@ -0,0 +1 @@
2017-06-08 29beffb8c1589ab3398db5b17f432e32ade2c0f2

8
recipes/src/xml_editor/used_apis Normal file
View File

@@ -0,0 +1,8 @@
base
block_session
file_system_session
os
report_session
rtc_session
terminal_session
vfs

14
recipes/src/xml_term_edit/content.mk Normal file
View File

@@ -0,0 +1,14 @@
SRC_DIR := src/app/xml_term_edit
content: $(SRC_DIR) LICENSE
$(SRC_DIR):
mkdir -p $@
cp -r $(REP_DIR)/$@/* $@/
cp \
$(GENODE_DIR)/repos/os/src/app/cli_monitor/command_line.h \
$(GENODE_DIR)/repos/os/src/app/cli_monitor/line_editor.h \
$@/
LICENSE:
cp $(GENODE_DIR)/LICENSE $@

1
recipes/src/xml_term_edit/hash Normal file
View File

@@ -0,0 +1 @@
2017-06-08 1c40e2580a6a1abf3c72a9272cb3d9d7a1eab81d

8
recipes/src/xml_term_edit/used_apis Normal file
View File

@@ -0,0 +1,8 @@
base
block_session
file_system_session
os
report_session
rtc_session
terminal_session
vfs