editor icon indicating copy to clipboard operation
editor copied to clipboard
verified publisher icon PseudocodeEditor

Update Find and Replace UI

Open hugomarfani opened this issue 3 years ago • 0 comments

Update the UI surrounding the find and replace for the editor to match the theme of the website

hugomarfani avatar Mar 30 '22 09:03 hugomarfani