QTfrontend/ui/widget/HistoryLineEdit.cpp
branchqt5transition
changeset 12902 fc47fc4af6bd
parent 11046 47a8c19ecb60