Print Preview Print Destination Search Widget

chrome/browser/resources/print_preview/settings/margin_settings.js

 // Copyright (c) 2012 The Chromium Authors. All rights reserved.
 // Use of this source code is governed by a BSD-style license that can be
 // found in the LICENSE file.
 
 cr.define('print_preview', function() {
   'use strict';
 
   /**
    * Creates a MarginSettings object. This object encapsulates all settings and
    * logic related to the margins mode.
@@ skipping 59 matching lines @@
     },
 
     /**
      * Called when the select element is changed. Updates the print ticket
      * margin type.
      * @private
      */
     onSelectChange_: function() {
       var select = this.select_;
       var marginsType =
-          /** @type {print_preview.ticket_items.MarginsType.Value} */ (
+          /** @type {!print_preview.ticket_items.MarginsType.Value} */ (
               select.selectedIndex);
       this.printTicketStore_.updateMarginsType(marginsType);
     },
 
     /**
      * Called when the print ticket store changes. Selects the corresponding
      * select option.
      * @private
      */
     onPrintTicketStoreChange_: function() {
       if (this.printTicketStore_.hasMarginsCapability()) {
         var select = this.select_;
         var marginsType = this.printTicketStore_.getMarginsType();
         var selectedMarginsType =
-            /** @type {print_preview.ticket_items.MarginsType.Value} */ (
+            /** @type {!print_preview.ticket_items.MarginsType.Value} */ (
                 select.selectedIndex);
         if (marginsType != selectedMarginsType) {
           select.options[selectedMarginsType].selected = false;
           select.options[marginsType].selected = true;
         }
         fadeInOption(this.getElement());
       } else {
         fadeOutOption(this.getElement());
       }
     }
   };
 
   // Export
   return {
     MarginSettings: MarginSettings
   };
 });