ator-dev

Results 12 issues of ator-dev

Fix #55026

bug
topic:editor

![image](https://github.com/teal-language/tl/assets/66553618/14a661f0-b8dc-40f2-a881-85c3c6452fb4) Expected behaviour: I would expect that the special `arg` variable is recognised as use of the variable arguments; if it is not present this warning should be reported, but...

semantics

Most language servers provide the ability to rename a symbol simply by typing in the new name at one instance of it. This is usually invoked with F2 with the...

enhancement

Go to Definition (usually invoked with F12), by convention, works as follows: - If caret is on a symbol instance such as a function *call* or variable *use*, the caret...

enhancement

The Custom Highlight API, now available in Chromium-based browsers and under development in Firefox [(bugzilla)](https://bugzilla.mozilla.org/show_bug.cgi?id=1703961) has made it possible to **highlight webpages without changing their structure** (or even, their attributes)....

[User-submitted request via uninstall form] > I need an option to get my terms highlighted on every page, in every new tab, without need to create a new list every...

enhancement
plugin

This PR has grown to encompass many more improvements than it was intended to. Broadly included are: - Replace storage model entirely to include default values, optional syncing, and other...

Some extensions exist specifically to offer page-search results in a dedicated popup, enabling very rapid visualisation of results and the context in which they appear. This caters very well to...

enhancement
plugin

This feature requires that MMS can "remember" the keywords from the tabs in the last session when the browser is reopened, and restore the ones that are still relevant. This...

enhancement
plugin

PDF highlighting is something I've seen highly requested for highlighter extensions, including current users of Mark My Search. While it is impossible to do this in any browser's native PDF...

enhancement
plugin