Skip to content

Commit 281c814

Browse files
authored
Release 2.7.1 (#35)
* Fix * Update package.json
1 parent dc98dc6 commit 281c814

File tree

2 files changed

+6
-3
lines changed

2 files changed

+6
-3
lines changed

package.json

Lines changed: 1 addition & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -1,6 +1,6 @@
11
{
22
"name": "LoIDE",
3-
"version": "2.7.0",
3+
"version": "2.7.1",
44
"description": "Web-based IDE for Logic Programming",
55
"main": "app.js",
66
"scripts": {

resources/js/script.js

Lines changed: 5 additions & 2 deletions
Original file line numberDiff line numberDiff line change
@@ -528,7 +528,6 @@ function initializeCheckTabToRun() {
528528
$('.check-run-tab.checked:not(.check-auto-run-tab)').each(function () {
529529
$(this).removeClass('checked');
530530
$(this).find('.check-icon').toggleClass('invisible');
531-
console.log('unchecked');
532531
})
533532
$(this).find('.check-icon').removeClass('invisible');
534533
$(this).addClass('checked');
@@ -1081,7 +1080,11 @@ $(document).on('click', '.delete-tab', function () { // delete tab
10811080
setUpAce(ideditor, "");
10821081
$('#tab-execute-new').append('<button type="button" class="list-group-item list-group-item-action check-run-tab" value="' + ideditor + '"> <div class="check-box"><i class="fa fa-check check-icon invisible" aria-hidden="true"></i></div> <span class="check-tab-name"> L P 1 </span> </button>');
10831082
$("[data-target='#tab1']").trigger('click');
1083+
10841084
inizializeTabContextmenu();
1085+
initializeCheckTabToRun();
1086+
setAceMode();
1087+
setElementsColorMode();
10851088
}
10861089
else if (ids !== parse) { // renumber tabs if you delete the previous tab instead of the current one
10871090
// $('.nav-tabs').find('li:not(:last)').each(function (index) {
@@ -2047,7 +2050,7 @@ function inizializeToolbar() {
20472050
editors[idEditor].focus();
20482051
});
20492052

2050-
var clipboardSupport = navigator.clipboard.readText == null ? false : true
2053+
var clipboardSupport = typeof(navigator.clipboard)=='undefined' ? false : true;
20512054

20522055
if (clipboardSupport) {
20532056
$('#btn-paste').on('click', function () {

0 commit comments

Comments
 (0)