alexandervdm / gummi

Simple LaTeX editor

Home Page:https://gummi.app

Geek Repo:Geek Repo

Github PK Tool:Github PK Tool

REGEX search/replace

cmahte opened this issue · comments

Usefulness would be exponentially greater if search replace had regex functionality... that is the ability to include variable find inside replace

search: (^[A-Z ]+[^\n])

replace: \{\\fontfamily\{qpl\} \\selectfont \\large \\textbf\{$1\}\}


This or similar would turn all text rows in capital letters into section titles, with a single "replace all". Doing this in an alternate editor for now, but conflicts between gummi and jedit breaks the live view between them frequently.

Alternatively, in the interim, and probably much less resource intensive... enable a shortcut for the missing menu item "reload document".