[Nightly] Update v0.7.2576a

Several problems with the Translation Editor have been fixed:

- Fixed bug that caused the color labels to be applied incorrectly, causing the translated page could be corrupted in certain situations.

- Now the "Delete format" button no longer eliminates line breaks.

- Added option, to switch between "rich text" or "plain text" mode, hiding or showing the code of the color labels respectively.

- Added option to search by page number. To activate it, click on the numbering of the current page.

- Fixed bug that caused the panel colors not to be updated after performing a search.