// differences between platforms.
// Created: 14.11.01
// Author: Morten Hanssen, Vadim Zeitlin
-// Copyright: (c) 1998-2001 wxWidgets team
-// Licence: wxWidgets licence
+// Copyright: (c) 1998-2001 Morten Hanssen, Vadim Zeitlin
+// Licence: wxWindows licence
///////////////////////////////////////////////////////////////////////////////
#ifndef _WX_TEXTBUFFER_H
size_t n,
wxTextFileType type = typeDefault)
{
- m_aLines.insert(m_aLines.begin() + n, str);
- m_aTypes.insert(m_aTypes.begin()+n, type);
+ m_aLines.insert(m_aLines.begin() + n, str);
+ m_aTypes.insert(m_aTypes.begin()+n, type);
}
// delete one line
void RemoveLine(size_t n)
{
m_aLines.erase(m_aLines.begin() + n);
- m_aTypes.erase(m_aTypes.begin() + n);
+ m_aTypes.erase(m_aTypes.begin() + n);
}
// remove all lines
- void Clear() { m_aLines.clear(); m_nCurLine = 0; }
+ void Clear() { m_aLines.clear(); m_aTypes.clear(); m_nCurLine = 0; }
// change the buffer (default argument means "don't change type")
// possibly in another format