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; } }