Jakob Borg 946170f3fc gui, lib/ignore: Handle editing ignores with error (fixes #5425) (#6757) ... This changes the error handling in loading ignores slightly: - There is a new ParseError type that is returned as the error (somewhere in the chain) when the problem was not an I/O error loading the file, but some issue with the contents. - If the file was read successfully but not parsed successfully we still return the lines read (in addition to nil patterns and a ParseError). - In the API, if the error IsParseError then we return a successful HTTP response with the lines and the actual error included in the JSON object. - In the GUI, as long as the HTTP call to load the ignores was successful we can edit the ignores. If there was an error we show this as a validation error on the dialog. Also some cleanup on the Javascript side as it for some reason used jQuery instead of Angular for this editor...		2020-06-18 11:04:00 +02:00
..
black/assets/css	gui: Fix tab headers in black and dark themes (fixes #5583)	2019-10-01 20:09:52 +01:00
dark/assets/css	gui: Fix tab headers in black and dark themes (fixes #5583)	2019-10-01 20:09:52 +01:00
default	gui, lib/ignore: Handle editing ignores with error (fixes #5425) (#6757)	2020-06-18 11:04:00 +02:00
light/assets/css	gui, lib/api: Adds support for prefers-color-scheme (fixes #6115)	2019-11-08 21:44:37 +00:00