Quantcast

[ jEdit-devel ] [jedit:plugin-feature-requests] #380 ErrorList: Handling of error nodes from current editing file

classic Classic list List threaded Threaded
5 messages Options
Reply | Threaded
Open this post in threaded view
|  
Report Content as Inappropriate

[ jEdit-devel ] [jedit:plugin-feature-requests] #380 ErrorList: Handling of error nodes from current editing file

Alan Ezust-2

[plugin-feature-requests:#380] ErrorList: Handling of error nodes from current editing file

Status: open
Group:
Created: Fri Jan 27, 2017 04:18 PM UTC by Alan Ezust
Last Updated: Fri Jan 27, 2017 04:18 PM UTC
Owner: nobody

If there are errors from multiple files, I think the ones from the currently editing file should be more prominent than the others, so they should either show up under the first node in the tree, and/or it should be auto-expanded...


Sent from sourceforge.net because [hidden email] is subscribed to https://sourceforge.net/p/jedit/plugin-feature-requests/

To unsubscribe from further messages, a project admin can change settings at https://sourceforge.net/p/jedit/admin/plugin-feature-requests/options. Or, if this is a mailing list, you can unsubscribe from the mailing list.


------------------------------------------------------------------------------
Check out the vibrant tech community on one of the world's most
engaging tech sites, SlashDot.org! http://sdm.link/slashdot
--
-----------------------------------------------
jEdit Developers' List
[hidden email]
https://lists.sourceforge.net/lists/listinfo/jedit-devel
Reply | Threaded
Open this post in threaded view
|  
Report Content as Inappropriate

[ jEdit-devel ] [jedit:plugin-feature-requests] #380 ErrorList: Handling of error nodes from current editing file

Alan Ezust-2
  • Description has changed:

Diff:

--- old
+++ new
@@ -1,2 +1,5 @@
-If there are errors from multiple files, I think the ones from the currently editing file should be more prominent than the others, so they should either show up under the first node in the tree, and/or it should be auto-expanded...
+If there are errors from multiple files, I think the ones from the currently editing file should be more prominent than the others, so if the cursor is on a line with an error, the closest ErrorList node should be displayed and expanded after errors are added to ErrorList.

+Also, if the user clicks on the error icon in the gutter, it should tell ErrorList to show that node in the tree. 
+
+This is useful when there are lots of errors in lots of different files and the user wants to focus on the errors in the current file.
  • Group: -->
  • Comment:

[plugin-feature-requests:#380] ErrorList: Handling of error nodes from current editing file

Status: open
Group:
Created: Fri Jan 27, 2017 04:18 PM UTC by Alan Ezust
Last Updated: Fri Jan 27, 2017 04:18 PM UTC
Owner: nobody

If there are errors from multiple files, I think the ones from the currently editing file should be more prominent than the others, so if the cursor is on a line with an error, the closest ErrorList node should be displayed and expanded after errors are added to ErrorList.

Also, if the user clicks on the error icon in the gutter, it should tell ErrorList to show that node in the tree.

This is useful when there are lots of errors in lots of different files and the user wants to focus on the errors in the current file.


Sent from sourceforge.net because [hidden email] is subscribed to https://sourceforge.net/p/jedit/plugin-feature-requests/

To unsubscribe from further messages, a project admin can change settings at https://sourceforge.net/p/jedit/admin/plugin-feature-requests/options. Or, if this is a mailing list, you can unsubscribe from the mailing list.


------------------------------------------------------------------------------
Check out the vibrant tech community on one of the world's most
engaging tech sites, SlashDot.org! http://sdm.link/slashdot
--
-----------------------------------------------
jEdit Developers' List
[hidden email]
https://lists.sourceforge.net/lists/listinfo/jedit-devel
Reply | Threaded
Open this post in threaded view
|  
Report Content as Inappropriate

[ jEdit-devel ] [jedit:plugin-feature-requests] #380 ErrorList: Handling of error nodes from current editing file

Alan Ezust-2
In reply to this post by Alan Ezust-2
  • Description has changed:

Diff:

--- old
+++ new
@@ -1,5 +1,5 @@
-If there are errors from multiple files, I think the ones from the currently editing file should be more prominent than the others, so if the cursor is on a line with an error, the closest ErrorList node should be displayed and expanded after errors are added to ErrorList.
+If there are errors from multiple files,  the errors from the currently editing file should be visible in error list first. Further, if the cursor is on a line with an error, the corresponding ErrorList node should be *selected* and visible. action "Next Error" should go to the next error after that, instead of the first error on the top of the tree.

 Also, if the user clicks on the error icon in the gutter, it should tell ErrorList to show that node in the tree. 

-This is useful when there are lots of errors in lots of different files and the user wants to focus on the errors in the current file.
+This is important when there are lots of errors in lots of different files and the user wants to focus on the errors in the current file.

[plugin-feature-requests:#380] ErrorList: Handling of error nodes from current editing file

Status: open
Group:
Created: Fri Jan 27, 2017 04:18 PM UTC by Alan Ezust
Last Updated: Mon Jan 30, 2017 05:32 PM UTC
Owner: nobody

If there are errors from multiple files, the errors from the currently editing file should be visible in error list first. Further, if the cursor is on a line with an error, the corresponding ErrorList node should be selected and visible. action "Next Error" should go to the next error after that, instead of the first error on the top of the tree.

Also, if the user clicks on the error icon in the gutter, it should tell ErrorList to show that node in the tree.

This is important when there are lots of errors in lots of different files and the user wants to focus on the errors in the current file.


Sent from sourceforge.net because [hidden email] is subscribed to https://sourceforge.net/p/jedit/plugin-feature-requests/

To unsubscribe from further messages, a project admin can change settings at https://sourceforge.net/p/jedit/admin/plugin-feature-requests/options. Or, if this is a mailing list, you can unsubscribe from the mailing list.


------------------------------------------------------------------------------
Check out the vibrant tech community on one of the world's most
engaging tech sites, SlashDot.org! http://sdm.link/slashdot
--
-----------------------------------------------
jEdit Developers' List
[hidden email]
https://lists.sourceforge.net/lists/listinfo/jedit-devel
Reply | Threaded
Open this post in threaded view
|  
Report Content as Inappropriate

[ jEdit-devel ] [jedit:plugin-feature-requests] #380 ErrorList: Handling of error nodes from current editing file

Alan Ezust-2
In reply to this post by Alan Ezust-2
  • Description has changed:

Diff:

--- old
+++ new
@@ -1,4 +1,6 @@
 If there are errors from multiple files,  the errors from the currently editing file should be visible in error list first. Further, if the cursor is on a line with an error, the corresponding ErrorList node should be *selected* and visible. action "Next Error" should go to the next error after that, instead of the first error on the top of the tree.
+
+Perhaps just moving the current file to the top of the error tree will be the easiest way to get this working.

 Also, if the user clicks on the error icon in the gutter, it should tell ErrorList to show that node in the tree. 

[plugin-feature-requests:#380] ErrorList: Handling of error nodes from current editing file

Status: open
Group:
Created: Fri Jan 27, 2017 04:18 PM UTC by Alan Ezust
Last Updated: Fri Feb 03, 2017 05:01 AM UTC
Owner: nobody

If there are errors from multiple files, the errors from the currently editing file should be visible in error list first. Further, if the cursor is on a line with an error, the corresponding ErrorList node should be selected and visible. action "Next Error" should go to the next error after that, instead of the first error on the top of the tree.

Perhaps just moving the current file to the top of the error tree will be the easiest way to get this working.

Also, if the user clicks on the error icon in the gutter, it should tell ErrorList to show that node in the tree.

This is important when there are lots of errors in lots of different files and the user wants to focus on the errors in the current file.


Sent from sourceforge.net because [hidden email] is subscribed to https://sourceforge.net/p/jedit/plugin-feature-requests/

To unsubscribe from further messages, a project admin can change settings at https://sourceforge.net/p/jedit/admin/plugin-feature-requests/options. Or, if this is a mailing list, you can unsubscribe from the mailing list.


------------------------------------------------------------------------------
Check out the vibrant tech community on one of the world's most
engaging tech sites, SlashDot.org! http://sdm.link/slashdot
--
-----------------------------------------------
jEdit Developers' List
[hidden email]
https://lists.sourceforge.net/lists/listinfo/jedit-devel
Reply | Threaded
Open this post in threaded view
|  
Report Content as Inappropriate

[ jEdit-devel ] [jedit:plugin-feature-requests] #380 ErrorList: Handling of error nodes from current editing file

Dale Anson-2
In reply to this post by Alan Ezust-2
  • assigned_to: Dale Anson

[plugin-feature-requests:#380] ErrorList: Handling of error nodes from current editing file

Status: open
Group:
Created: Fri Jan 27, 2017 04:18 PM UTC by Alan Ezust
Last Updated: Fri Feb 03, 2017 05:03 AM UTC
Owner: Dale Anson

If there are errors from multiple files, the errors from the currently editing file should be visible in error list first. Further, if the cursor is on a line with an error, the corresponding ErrorList node should be selected and visible. action "Next Error" should go to the next error after that, instead of the first error on the top of the tree.

Perhaps just moving the current file to the top of the error tree will be the easiest way to get this working.

Also, if the user clicks on the error icon in the gutter, it should tell ErrorList to show that node in the tree.

This is important when there are lots of errors in lots of different files and the user wants to focus on the errors in the current file.


Sent from sourceforge.net because [hidden email] is subscribed to https://sourceforge.net/p/jedit/plugin-feature-requests/

To unsubscribe from further messages, a project admin can change settings at https://sourceforge.net/p/jedit/admin/plugin-feature-requests/options. Or, if this is a mailing list, you can unsubscribe from the mailing list.


------------------------------------------------------------------------------
Check out the vibrant tech community on one of the world's most
engaging tech sites, SlashDot.org! http://sdm.link/slashdot
--
-----------------------------------------------
jEdit Developers' List
[hidden email]
https://lists.sourceforge.net/lists/listinfo/jedit-devel
Loading...