equal
deleted
inserted
replaced
206 R1.Fill = System.Windows.Media.Brushes.DarkGray; |
206 R1.Fill = System.Windows.Media.Brushes.DarkGray; |
207 R2.Fill = System.Windows.Media.Brushes.DarkGray; |
207 R2.Fill = System.Windows.Media.Brushes.DarkGray; |
208 R3.Fill = System.Windows.Media.Brushes.DarkGray; |
208 R3.Fill = System.Windows.Media.Brushes.DarkGray; |
209 R4.Fill = System.Windows.Media.Brushes.White; |
209 R4.Fill = System.Windows.Media.Brushes.White; |
210 } |
210 } |
|
211 } |
|
212 |
|
213 public void showProximity(UserPositionEventArgs e) |
|
214 { |
|
215 |
211 } |
216 } |
212 |
217 |
213 /* |
218 /* |
214 * Affiche la détection de la main droite via un label. |
219 * Affiche la détection de la main droite via un label. |
215 */ |
220 */ |