3 commits

Author	SHA1	Message	Date
Andreas Kling	434c190667	TextEditor: Minor cleanups in the FileArgument class ... * Remove unnecessary #include statements * Move it into the TextEditor namespace * Mark the single-argument constructor explicit * Use move() to avoid some unnecessary copies	2021-05-06 12:35:25 +02:00
Andreas Kling	297a2762cd	TextEditor: Rename "file_name" => "filename"	2021-05-06 12:33:46 +02:00
ry755	8af7cda17a	TextEditor: Specify the starting line and column number using colons ... This allows the user to specify a specific line and column number to start at when opening a file in TextEditor through the terminal, by adding a colon after the file name. For example, `TextEditor ReadMe.md:10:5` will open ReadMe.md and put the cursor on line 10 at column 5. To ensure that the user isn't trying to open a file that actually has colons in its name, it checks if the file exists before parsing. Replaces the feature added in b474f49164 Closes #5589	2021-05-02 10:25:51 +02:00