2014-02-21 18:59:47 +08:00
|
|
|
|
using System;
|
|
|
|
|
using System.Collections.Generic;
|
2016-01-06 14:45:08 +08:00
|
|
|
|
using System.Linq;
|
|
|
|
|
using System.Runtime.Remoting.Contexts;
|
2013-12-27 00:39:07 +08:00
|
|
|
|
using System.Windows;
|
2013-12-22 19:35:21 +08:00
|
|
|
|
using System.Windows.Controls;
|
2014-03-05 22:32:21 +08:00
|
|
|
|
using System.Windows.Input;
|
2014-02-28 23:21:01 +08:00
|
|
|
|
using System.Windows.Media;
|
2015-07-17 15:08:39 +08:00
|
|
|
|
using Wox.Core.UserSettings;
|
2015-11-07 11:50:26 +08:00
|
|
|
|
using Wox.Helper;
|
2014-01-29 18:33:24 +08:00
|
|
|
|
using Wox.Plugin;
|
2015-02-05 23:29:41 +08:00
|
|
|
|
using Wox.Storage;
|
2016-02-18 19:31:15 +08:00
|
|
|
|
using Wox.ViewModel;
|
2013-12-22 19:35:21 +08:00
|
|
|
|
|
2014-01-29 18:33:24 +08:00
|
|
|
|
namespace Wox
|
2013-12-22 19:35:21 +08:00
|
|
|
|
{
|
2015-11-07 05:30:38 +08:00
|
|
|
|
[Synchronization]
|
2016-02-21 22:22:34 +08:00
|
|
|
|
public partial class ResultListBox
|
2013-12-22 19:35:21 +08:00
|
|
|
|
{
|
2015-11-08 04:48:18 +08:00
|
|
|
|
public void AddResults(List<Result> newResults, string resultId)
|
2013-12-22 19:35:21 +08:00
|
|
|
|
{
|
2016-02-12 17:20:46 +08:00
|
|
|
|
var vm = this.DataContext as ResultPanelViewModel;
|
|
|
|
|
vm.AddResults(newResults, resultId);
|
2014-01-04 20:26:13 +08:00
|
|
|
|
}
|
2016-02-18 19:31:15 +08:00
|
|
|
|
|
2014-01-04 20:26:13 +08:00
|
|
|
|
|
2016-02-21 22:22:34 +08:00
|
|
|
|
public ResultListBox()
|
2013-12-22 19:35:21 +08:00
|
|
|
|
{
|
|
|
|
|
InitializeComponent();
|
2014-02-19 22:50:15 +08:00
|
|
|
|
}
|
|
|
|
|
|
|
|
|
|
private void lbResults_SelectionChanged(object sender, SelectionChangedEventArgs e)
|
|
|
|
|
{
|
2014-03-18 00:25:27 +08:00
|
|
|
|
if (e.AddedItems.Count > 0 && e.AddedItems[0] != null)
|
2014-02-19 22:50:15 +08:00
|
|
|
|
{
|
|
|
|
|
lbResults.ScrollIntoView(e.AddedItems[0]);
|
|
|
|
|
}
|
2014-01-03 23:52:36 +08:00
|
|
|
|
}
|
2014-03-05 22:32:21 +08:00
|
|
|
|
|
2013-12-22 19:35:21 +08:00
|
|
|
|
}
|
2013-12-23 23:53:38 +08:00
|
|
|
|
}
|