pull/1323/head
deniscerri 4 weeks ago
parent 066a31ac70
commit d0eb6449dd
No known key found for this signature in database
GPG Key ID: 95C43D517D830350

@ -157,13 +157,10 @@ class TerminalFragment : Fragment() {
if (shortcutCount > 0){
UiUtil.showShortcuts(requireActivity(), commandTemplateViewModel,
itemSelected = {sh ->
session.write(" $sh ")
session.write(" $sh")
},
itemRemoved = { removed ->
//TODO
// input.setText(input.text.replace("(${Regex.escape(removed)})(?!.*\\1)".toRegex(), "").trim())
// input.setSelection(input.text.length)
})
itemRemoved = {}
)
}
}
}

Loading…
Cancel
Save