Searched refs:createHighlightStylesMenu (Results 1 – 1 of 1) sorted by relevance
129 static Widget createHighlightStylesMenu(Widget parent);1409 static Widget createHighlightStylesMenu(Widget parent) in createHighlightStylesMenu() function2788 HighlightDialog.stylePulldown = createHighlightStylesMenu(patternsForm); in EditHighlightPatterns()2862 HighlightDialog.stylePulldown = createHighlightStylesMenu( in updateHighlightStyleMenu()