QTfrontend/ui/widget/HistoryLineEdit.h
branchqt5transition
changeset 13175 9f6f2e51d2ef
parent 11046 47a8c19ecb60