Mercurial > hgrepos > Python2 > PyMuPDF

comparison mupdf-source/thirdparty/tesseract/java/com/google/scrollview/ui/SVCheckboxMenuItem.java @ 2:b50eed0cc0ef upstream

Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
ADD: MuPDF v1.26.7: the MuPDF source as downloaded by a default build of PyMuPDF 1.26.4. The directory name has changed: no version number in the expanded directory now.
author Franz Glasner <fzglas.hg@dom66.de>
date Mon, 15 Sep 2025 11:43:07 +0200
parents
children
comparison
equal deleted inserted replaced
1:1d09e1dec1d9 2:b50eed0cc0ef
1 // Copyright 2007 Google Inc. All Rights Reserved.
2 //
3 // Licensed under the Apache License, Version 2.0 (the "License"); You may not
4 // use this file except in compliance with the License. You may obtain a copy of
5 // the License at http://www.apache.org/licenses/LICENSE-2.0 Unless required by
6 // applicable law or agreed to in writing, software distributed under the
7 // License is distributed on an "AS IS" BASIS, WITHOUT WARRANTIES OR CONDITIONS
8 // OF ANY KIND, either express or implied. See the License for the specific
9 // language governing permissions and limitations under the License.
10
11 package com.google.scrollview.ui;
12
13 /**
14 * A MenuListItem is any sort of menu entry. This can either be within a popup
15 * menu or within a menubar. It can either be a submenu (only name and
16 * command-id) or a name with an associated value and possibly description. They
17 * can also have new entries added (if they are submenus).
18 *
19 * @author wanke@google.com
20 */
21
22 import com.google.scrollview.ScrollView;
23 import com.google.scrollview.events.SVEvent;
24 import com.google.scrollview.events.SVEventType;
25
26 import javax.swing.JCheckBoxMenuItem;
27
28 /**
29 * Constructs a new menulistitem which possesses a flag that can be toggled.
30 */
31 class SVCheckboxMenuItem extends SVAbstractMenuItem {
32 public boolean bvalue;
33
34 SVCheckboxMenuItem(int id, String name, boolean val) {
35 super(id, name, new JCheckBoxMenuItem(name, val));
36 bvalue = val;
37 }
38
39 /** What to do when user clicks on this item. */
40 @Override
41 public void performAction(SVWindow window, SVEventType eventType) {
42 // Checkbox entry - trigger and send event.
43 if (bvalue) {
44 bvalue = false;
45 } else {
46 bvalue = true;
47 }
48 SVEvent svme = new SVEvent(eventType, window, id, getValue());
49 ScrollView.addMessage(svme);
50 }
51
52 /** Returns the actual value of the MenuListItem. */
53 @Override
54 public String getValue() {
55 return Boolean.toString(bvalue);
56 }
57 }