150151152153154155156157158159160
//{{{ Maybe show add abbrev dialog if(expand == null) { if(add) new AddAbbrevDialog(view,abbrev); return false; } //}}} //{{{ Insert the expansion else