Weikai, People & Vlogs Blog
2014年1月21日 星期二
RichTextBox ScrollToLine
void ScrollToLine(int lineNumber)
{
if (lineNumber > richTextBox2.Lines.Length) return;
richTextBox2.SelectionStart = richTextBox2.Find(richTextBox2.Lines[lineNumber]); richTextBox2.ScrollToCaret();
}
2014年1月16日 星期四
FileSystemWatcher event twice
private Hashtable getTime = new Hashtable(); private void on_Changed(object source, FileSystemEventArgs e) { string path = e.FullPath.ToString(); string currentLastWriteTime = File.GetLastWriteTime( e.FullPath ).ToString(); if ( !getTime.ContainsKey(path) || getTime[path].ToString() != currentLastWriteTime ) { // get one getTime[path] = currentLastWriteTime; } }
較新的文章
較舊的文章
首頁
訂閱:
文章 (Atom)