Page MenuHome ElitreAug 28 2015, 7:29 PM
Tags
Referenced Files
F58325538: image.png
Jan 31 2025, 7:57 PM
F58325526: image.png
Jan 31 2025, 7:57 PM
F57749492: image.png
Nov 26 2024, 11:12 AM
Subscribers
Tokens
"Yellow Medal" token, awarded by matej_suchanek.

Description

Update: The new feature:

Original task:

A request has been made at de.wp that the special characters panel "remembers", and shows prominently, the last chars an editor has added to articles. I think this had been requested in the past as well, possibly on the mediawiki.org related thread.

Story

As a volunteer creating a new article/page and/or editing an existing one, I want to be able to quickly find and insert the special character(s) I'm seeking so that I can remain in flow and express the thought(s) in my mind with minimal interruption/friction.

Requirements

On all platforms and editing interfaces where the Special characters menu is currently available:

  1. Introduce a new section named Recently used
    1. This section will be populated with the 32 special characters you have used most recently, across editing sessions
    2. When A) the newly-introduced Recently used section becomes filled with number of special characters defined in "1.A" and B) you use a special character currently not present within the Recently used section, the special character you have used least recently should be ejected to create space for the character you will have just used
  2. The Recently used section "1." describes ought to remain hidden until after you've used ≥1 special character after the feature is introduced
    • This requirement did NOT get implemented in this first iteration
  3. Upon using ≥1 special character after the feature is introduced, the Recently used section should appear in the first position within the special characters menu.
NOTE: to start, we are going to implement for VE and the 2017 WTE.

References

Details

SubjectRepoBranchLines +/-
mediawiki/coremaster+8 -1