Joe Wicentowski

I think this is an inherent problem with the ace editor - see https://github.com/ajaxorg/ace/search?q=unicode&type=Issues&utf8=%E2%9C%93 and https://www.google.com/webhp?hl=en&q=site:github.com/ajaxorg/ace/+unicode. And according to https://github.com/ajaxorg/ace/issues/3037#issuecomment-236442429: > This happens with many non-ascii characters (and the same...

Confirmed: eXide does not do well with narrow widths. Is this something we want to fix?

Confirmed. But change the test to the following: 1. Open new query window 2. Type cmd-shift-c to create a new comment block, e.g. `(::)`. The cursor will land at the...

:+1:

@duncdrum Just to confirm, you're aware that Fine in Files is available via eXide's Edit menu, right? > > So you're just requesting that a search field be added to...

The find files dialog has several options - would these be exposed? And how would the results be displayed - in the DH manager pane or a new one atop...

@tgraham-antenna Thanks for migrating the issue over here! Would you care to file a PR to the various locations that would benefit from your proposed change? - https://github.com/wolfgangmm/eXide/blob/develop/modules/config.xqm#L61-L83 - https://github.com/wolfgangmm/eXide/blob/develop/templates/bootstrap/modules/config.xqm#L74-L100...

@pherk I've occasionally seen duplicate editor panes, but not in a long time, and I don't recall data loss problems from it. Can you provide steps to reproduce this phenomenon?...

Thanks for the report. I’ve seen duplicated tabs before but hadn’t found a way to reproduce. I think I understand everything in the report except “toggle tab.” Could you please...

I think the difference is that there were hits for `install` but not for `instal`, so with the latter there was no hit processing, but in the former, there was...