You signed in with another tab or window. Reload to refresh your session.You signed out in another tab or window. Reload to refresh your session.You switched accounts on another tab or window. Reload to refresh your session.Dismiss alert
Merged PR 49218: Fix Package manager for release /dev17.14
Fix PM
----
#### AI description (iteration 1)
#### PR Classification
Bug fix
#### PR Summary
This pull request addresses issues with the package manager for the release `/dev17.14`, ensuring proper handling of script project options and text view caret positions.
- `FSharpProjectOptionsManager.fs`: Refactored handling of `textViewAndCaret` to improve script project options retrieval.
- `ScriptClosure.fs`: Fixed filtering logic for package manager lines.
- `Extensions.fs`: Corrected parameter in `GetActiveView` method to ensure proper text buffer handling.
<!-- GitOpsUserAgent=GitOps.Apps.Server.pullrequestcopilot -->
0 commit comments