Commit graph

9 commits

Author SHA1 Message Date
Translation updater bot 72518ad31e Localisation updates from https://translatewiki.net.
Change-Id: I89fd3b5ed51922906bb64d4b637edc92bd9f7a7b
2015-05-26 22:19:52 +02:00
Derk-Jan Hartman aba51ef4f5 Additional CodeEditor buttons
- toggle invisible characters.
- search and replace (disabled)
- indent/outdent
- line wrapping
- go to line

Icons by Connor Shea

Bug: T61923
Change-Id: I9e434d1b23f8254bc654ebbd31b5e4b70bbf5fe1
2015-05-26 01:43:47 +00:00
Derk-Jan Hartman a9cdbcacb4 Add tooltip to annotation indicator
In the past I had made the annotation indicators clickable, and your
cursor will in this case navigate to the next annotation in editor.
This was not really easily discoverable, so I have added a tooltip to
make it slightly more discoverable.

I also added a CSS line to prevent users from accidently selecting the
text (or rather numbers) in this area, which I had noticed happened to
me at times when trying to click it.

Change-Id: I47ecba232ff925169d0f64d85ae34ff6564cc1a5
2015-05-25 11:07:41 +02:00
Translation updater bot c4f00c0170 Localisation updates from https://translatewiki.net.
Change-Id: I109db8dcebabcfe5b0724f4e5a7fca625740aa71
2015-03-24 22:21:22 +01:00
Translation updater bot 699a2446dd Localisation updates from https://translatewiki.net.
Change-Id: I6908010d9d60a76d7f47d2fbe698d311c4eca03d
2014-04-16 15:30:27 +00:00
Translation updater bot f6dce94439 Localisation updates from https://translatewiki.net.
Change-Id: I73e2ae19ed3f17040134097bf198436b0e7eb248
2014-04-01 19:41:58 +00:00
Translation updater bot 495be60c60 Localisation updates from https://translatewiki.net.
Change-Id: I07729898e4e637a010c0f06f1a6e9ae34810f89d
2014-03-30 20:10:01 +00:00
Derk-Jan Hartman 262bfde28e Ask for confirmation when saving document with errors
Bug: 63202
Change-Id: Ifbdf976f3c0f27da67d7cf034c040d4279d62217
2014-03-30 00:47:10 +01:00
Siebrand Mazeland 27249af1cc Migrate to JSON i18n
Procedure per https://www.mediawiki.org/wiki/Manual:GenerateJsonI18n.php
with shim.

Change-Id: Id2e1243b0d67c0e6e54e4a147adca6df5d8ee78e
2014-03-26 10:12:39 +01:00