Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

pure ide: improvements #3226

Merged
merged 2 commits into from
Nov 4, 2024
Merged

pure ide: improvements #3226

merged 2 commits into from
Nov 4, 2024

Conversation

akphi
Copy link
Contributor

@akphi akphi commented Nov 4, 2024

Pure IDE

  • FEATURE Pininng tab (prevent closing tab)
  • FEATURE Scroll to element in concept tree when concept is revealed
  • FEATURE Support right-click run test for a function in code editor
  • FEATURE Support selecting PCT adapter when running PCT tests (requested by @pierredebelen)
  • FEATURE Showing function documentation tooltip
  • BUG FIX Disallow creating new directory or file in read-only directories/repos
  • BUG FIX Context menu in code editor clipped at bottom
  • BUG FIX Prevent text-search app lag/freeze by capping result set at 100 and requiring minimum search length of 3
  • BUG FIX Make sure error source navigation works from terminal in Firefox (requested by @pierredebelen)
  • IMPROVEMENT Change error message in terminal to white font (requested by @davidharte-gs)
  • IMPROVEMENT Stop showing irrelevant top-level suggestions in code editor (requested by @pierredebelen)
  • IMPROVEMENT Auto expand test runner tree

REPL

  • FEATURE Support browsing function documentation

Screenshots

Tab Pinning

tab.pinning.mov

Scroll Explorer Tree to revealed concept

reveal.concept.scroll.into.view.mov

Select PCT Adapter

run.PCTs.mov

Run Test Function (Directly From Code Editor)

run.test.from.func.mov

Show Function Documentation Tooltip

hover.to.see.documentation.mov

(FIXED) Error Stacktrace Navigation

error.navigation.mov

REPL "doc" Command - Function Documentation Browser

repl.doc.command.mov

@akphi akphi marked this pull request as ready for review November 4, 2024 03:39
@akphi akphi requested a review from a team as a code owner November 4, 2024 03:39
@akphi akphi merged commit 074767b into finos:master Nov 4, 2024
5 of 6 checks passed
@akphi akphi deleted the dt28 branch November 4, 2024 13:35
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
None yet
Projects
None yet
Development

Successfully merging this pull request may close these issues.

2 participants