QTfrontend/ui/widget/HistoryLineEdit.h
changeset 11581 fd02a080d962
parent 11046 47a8c19ecb60