comparison views/Extractapp/TaggingText.php @ 59:6e44605eb4f6 extractapp

New: 1.display messages 2.handle saving conflict:up-to-date or reload text
author Zoe Hong <zhong@mpiwg-berlin.mpg.de>
date Tue, 31 Mar 2015 11:32:25 +0200
parents a11f9103b8db
children 3239979f6673
comparison
equal deleted inserted replaced
58:a11f9103b8db 59:6e44605eb4f6
931 </div> 931 </div>
932 932
933 933
934 <div style="margin:10 30 10 30; max-width:1250"> 934 <div style="margin:10 30 10 30; max-width:1250">
935 <p class="bg-info" style=""> <?php echo $messages['info']; ?> </p> 935 <p class="bg-info" style=""> <?php echo $messages['info']; ?> </p>
936 <p class="bg-warning" style=""> <?php echo $messages['warning']; ?> </p> 936 <p class="bg-warning" style=""> <?php echo $messages['warning']; ?>
937 <button id="reloadTextButton" onclick="reloadText(<?php echo $default_topic_id; ?>)" style="display:none;">Load Latest Version</button>
938 </p>
937 <p class="bg-danger" style=""> <?php echo $messages['error']; ?> </p> 939 <p class="bg-danger" style=""> <?php echo $messages['error']; ?> </p>
938 <button id="reloadTextButton" onclick="reloadText(<?php echo $default_topic_id; ?>)" style="display:none;">Reload</button>
939 940
940 <p class="bg-default" style=""> <?php echo $messages['debug']; ?> </p> 941 <p class="bg-default" style=""> <?php echo $messages['debug']; ?> </p>
941 </div> 942 </div>
942 943
943 <table width="1270" border="1" style="margin:10 30 10 30;"> 944 <table width="1270" border="1" style="margin:10 30 10 30;">
985 <div id="follow-scroll" style="position:absolute; height:680px; overflow:scroll; margin:0 5 15 5; max-width:270px"> 986 <div id="follow-scroll" style="position:absolute; height:680px; overflow:scroll; margin:0 5 15 5; max-width:270px">
986 <form action="javascript:void(0);"> 987 <form action="javascript:void(0);">
987 <fieldset> 988 <fieldset>
988 <legend><h5 class="text-success"> Config Topic: </h5></legend> 989 <legend><h5 class="text-success"> Config Topic: </h5></legend>
989 <div> current topic is <?php echo $topic_name; ?> 990 <div> current topic is <?php echo $topic_name; ?>
990 <button onclick="chooseTopic()" class="btn btn-xs btn-default">Change</button> 991 <button onclick="chooseTopic(<?php echo $default_topic_id;?>)" class="btn btn-xs btn-default">Change</button>
991 </div> 992 </div>
992 <button onclick="configTagsInTopic(<?php echo $default_topic_id;?>)" class="btn btn-sm btn-default" style="">Manage Tags in topic</button></br> 993 <button onclick="configTagsInTopic(<?php echo $default_topic_id;?>)" class="btn btn-sm btn-default" style="">Manage Tags in topic</button></br>
993 </fieldset> 994 </fieldset>
994 995
995 <fieldset> 996 <fieldset>