--- a/Documentation/Source/eric6.ViewManager.ViewManager.html Thu Mar 26 22:20:47 2015 +0100 +++ b/Documentation/Source/eric6.ViewManager.ViewManager.html Sat Mar 28 11:49:02 2015 +0100 @@ -2691,7 +2691,9 @@ name of file to be opened (string) </dd><dt><i>lineno</i></dt> <dd> -line number to place the cursor at (integer) +line number to place the cursor at (integer) or + list of line numbers (list of integers) (cursor will be + placed at the next line greater than the current one) </dd><dt><i>filetype</i></dt> <dd> type of the source file (string)