from_text_reader() public method

public from_text_reader ( text_reader reader ) : void
reader lw_common.text_reader
return void
history Class Documentation
Exemplo n.º 1
0
        private void add_reader_to_history() {
            var existing = history_.FirstOrDefault(x => x.settings.guid == text_.guid);

            if (existing == null) {
                history new_ = new history();
                new_.from_text_reader(text_);
                history_list_.add_history(new_);
                existing = new_;
            } 
            else 
                // 1.8.4
                existing.from_text_reader(text_);

            // move to the end
            global_ui.last_log_guid = existing.guid;            
            recreate_history_combo();

            // select last item
            ++ignore_change_;
            logHistory.SelectedIndex = logHistory.Items.Count - 1;
            --ignore_change_;
        }
Exemplo n.º 2
0
        private void add_reader_to_history() {
            int history_idx = history_.FindIndex(x => x.settings.get("guid") == text_.unique_id);

            ++ignore_change_;
            if (history_idx < 0) {
                history new_ = new history();
                new_.from_text_reader(text_);

                history_.Add(new_);
                logHistory.Items.Add(new_.ui_friendly_name);
            } else {
                // move to the end
                var existing = history_[history_idx];
                history_.RemoveAt(history_idx);
                logHistory.Items.RemoveAt(history_idx);

                history_.Add(existing);
                logHistory.Items.Add(existing.ui_friendly_name);
            }            
            logHistory.SelectedIndex = history_.Count - 1;
            --ignore_change_;
        }
Exemplo n.º 3
0
        private void add_reader_to_history() {

            int history_idx = history_.FindIndex(x => x.settings.get("guid") == text_.unique_id);
            if (history_idx < 0) {
                history new_ = new history();
                new_.from_text_reader( text_);

                history_.Add(new_);
                history_idx = history_.Count - 1;
                logHistory.Items.Add(new_.ui_friendly_name);                
            }

            ++ignore_change_;
            logHistory.SelectedIndex = history_idx;
            --ignore_change_;
            update_history();
        }