Skip to content

Commit 63d04b7

Browse files
committed
Merge branch 'gh-pages' of https://github.com/LivelyKernel/lively4-core into gh-pages
2 parents d3d3d82 + 390649c commit 63d04b7

File tree

3 files changed

+17
-3
lines changed

3 files changed

+17
-3
lines changed

src/components/widgets/lively-code-mirror.js

Lines changed: 14 additions & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -421,7 +421,20 @@ export default class LivelyCodeMirror extends HTMLElement {
421421
setTimeout(() => {
422422
this.editor.execCommand("findPersistent");
423423
var searchField = this.shadowRoot.querySelector(".CodeMirror-search-field");
424-
if (searchField) searchField.focus();
424+
if (searchField) {
425+
// start with the last search..
426+
if (!searchField.value && this.lastSearch) {
427+
var oldSearch = searchField.value
428+
searchField.value = this.lastSearch
429+
} else {
430+
this.lastSearch = searchField.value // we got a new search
431+
}
432+
lively.addEventListener("lively4", searchField, "input", () => {
433+
this.lastSearch = searchField.value
434+
})
435+
searchField.focus();
436+
searchField.select();
437+
}
425438
}, 10
426439
// editor.execCommand("find")
427440
);

src/components/widgets/lively-drawio.js

Lines changed: 2 additions & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -417,7 +417,8 @@ export default class LivelyDrawio extends Morph {
417417
return key + "=" + config[key]
418418
}).join("&")
419419

420-
var convertToPDFRequest = fetch("https://exp.draw.io/ImageExport4/export", {
420+
// old: https://exp.draw.io/ImageExport4/export
421+
var convertToPDFRequest = fetch("https://convert.diagrams.net/node/export", {
421422
method: "POST",
422423
headers: {
423424
'Content-Type': 'application/x-www-form-urlencoded'

src/components/widgets/lively-window.js

Lines changed: 1 addition & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -495,7 +495,7 @@ export default class Window extends Morph {
495495

496496
onKeyUp(evt) {
497497
var char = String.fromCharCode(evt.keyCode || evt.charCode);
498-
if ((evt.altKey || evt.ctrlKey) && char == "W") {
498+
if ((evt.altKey) && char == "W") { // is this "evt.ctrlKey" used unter Mac? , it makes problems under Windows
499499
this.onCloseButtonClicked(evt)
500500
evt.preventDefault();
501501
}

0 commit comments

Comments
 (0)