diff options
| author | Patrick Simianer <p@simianer.de> | 2016-07-04 08:38:31 +0200 |
|---|---|---|
| committer | Patrick Simianer <p@simianer.de> | 2016-07-04 08:38:31 +0200 |
| commit | 2966744613955f7891032ef90fa4ce3370e4fec5 (patch) | |
| tree | bd8bb888ae61fab307f1d2807140aa03a191f45d | |
| parent | ad02f690dcbd6983515aff90d750129efd4f137d (diff) | |
interface.php: show source and target
| -rw-r--r-- | interface.php | 4 |
1 files changed, 4 insertions, 0 deletions
diff --git a/interface.php b/interface.php index ddd9348..9c5531c 100644 --- a/interface.php +++ b/interface.php @@ -20,6 +20,10 @@ <!-- Derivation editor --> <div id="derivation_editor"> <div id="holder" style="width:100px; overflow-x:scroll"></div> + <div class="small"> + <p><strong>Source:</strong> <span id="de_source">n/a</span></p> + <p><strong>Target:</strong> <span id="de_original_mt">n/a</span></p> + </div> </div> <!-- /Derivation editor--> |