#@+leo-ver=5-thin
#@+node:ekr.20170428084208.253: * @file ../external/npyscreen/wgNMenuDisplay.py
#!/usr/bin/env python
# encoding: utf-8

#@+others
#@+node:ekr.20170428084208.254: ** Declarations
from . import muNewMenu    as NewMenu
from . import fmForm       as Form
from . import wgmultiline  as multiline
from . import wgannotatetextbox
# from . import utilNotify
import weakref
import curses

#@+node:ekr.20170428084208.255: ** class MenuViewerController
class MenuViewerController:
    #@+others
    #@+node:ekr.20170428084208.256: *3* MenuViewerController.__init__
    def __init__(self, menu=None):
        self.setMenu(menu)
        self.create()
        self._menuStack = []
        self._editing = False

    #@+node:ekr.20170428084208.257: *3* create
    def create(self):
        pass

    #@+node:ekr.20170428084208.258: *3* setMenu
    def setMenu(self, mnu):
        self._menuStack = []
        self._setMenuWithoutResettingStack(mnu)

    #@+node:ekr.20170428084208.259: *3* _setMenuWithoutResettingStack
    def _setMenuWithoutResettingStack(self, mnu):
        self._menu = mnu
        self._DisplayArea._menuListWidget.value = None

    #@+node:ekr.20170428084208.260: *3* _goToSubmenu
    def _goToSubmenu(self, mnu):
        self._menuStack.append(self._menu)
        self._menu = mnu

    #@+node:ekr.20170428084208.261: *3* _returnToPrevious
    def _returnToPrevious(self):
        self._menu = self._menuStack.pop()


    #@+node:ekr.20170428084208.262: *3* MenuViewerController._executeSelection
    def _executeSelection(self, sel):
        self._editing = False
        return sel()

    #@+node:ekr.20170428084208.263: *3* MenuViewerController.edit
    def edit(self):
        try:
            if self._menu is None:
                raise ValueError("No Menu Set")
        except AttributeError:
            raise ValueError("No Menu Set")
        self._editing = True
        while self._editing:
            if self._menu is not None:
                self._DisplayArea.name = self._menu.name
            if hasattr(self._menu, 'do_pre_display_function'):
                self._menu.do_pre_display_function()
            self._DisplayArea.display()
            self._DisplayArea._menuListWidget.value = None
            self._DisplayArea._menuListWidget.cursor_line = 0
            _menulines = []
            _actionsToTake = []
            if len(self._menuStack) > 0:
                _menulines.append(PreviousMenu())
                # _returnToPreviousSet = True
                _actionsToTake.append((self._returnToPrevious, ))
            # else:
                # _returnToPreviousSet = False

            for itm in self._menu.getItemObjects():
                if isinstance(itm, NewMenu.MenuItem):
                    _menulines.append(itm)
                    _actionsToTake.append((self._executeSelection, itm.do))
                elif isinstance(itm, NewMenu.NewMenu):
                    _menulines.append(itm)
                    _actionsToTake.append((self._goToSubmenu, itm))
                else:
                    raise ValueError("menu %s contains objects I don't know how to handle." % self._menu.name)


            self._DisplayArea._menuListWidget.values = _menulines
            self._DisplayArea.display()
            self._DisplayArea._menuListWidget.edit()
            _vlu = self._DisplayArea._menuListWidget.value
            if _vlu is None:
                self.editing = False
                return None
            try:
                _fctn = _actionsToTake[_vlu][0]
                _args = _actionsToTake[_vlu][1:]
            except IndexError:
                try:
                    _fctn = _actionsToTake[_vlu]
                    _args = []
                except IndexError:
                    # Menu must be empty.
                    return False
            _return_value = _fctn(*_args)

        return _return_value


    #@-others
#@+node:ekr.20170428084208.264: ** class PreviousMenu
class PreviousMenu(NewMenu.NewMenu):
    pass


#@+node:ekr.20170428084208.265: ** class MenuDisplay
class MenuDisplay(MenuViewerController):
    #@+others
    #@+node:ekr.20170428084208.266: *3* __init__
    def __init__(self, color='CONTROL', lines=15, columns=39, show_atx=5, show_aty=2, *args, **keywords):
        self._DisplayArea = MenuDisplayScreen(lines=lines,
                                    columns=columns,
                                    show_atx=show_atx,
                                    show_aty=show_aty,
                                    color=color)
        super(MenuDisplay, self).__init__(*args, **keywords)

    #@-others
#@+node:ekr.20170428084208.267: ** class MenuDisplayFullScreen
class MenuDisplayFullScreen(MenuViewerController):
    #@+others
    #@+node:ekr.20170428084208.268: *3* __init__
    def __init__(self, *args, **keywords):
        self._DisplayArea = MenuDisplayScreen()
        super(MenuDisplayFullScreen, self).__init__(*args, **keywords)



    #@-others
#@+node:ekr.20170428084208.269: ** class wgMenuLine
class wgMenuLine(wgannotatetextbox.AnnotateTextboxBaseRight):
    ANNOTATE_WIDTH = 3
    #@+others
    #@+node:ekr.20170428084208.270: *3* getAnnotationAndColor
    def getAnnotationAndColor(self,):
        try:
            if self.value.shortcut:
                return (self.safe_string(self.value.shortcut), 'LABEL')
            else:
                return ('', 'LABEL')
        except AttributeError:
            return ('', 'LABEL')

    #@+node:ekr.20170428084208.271: *3* display_value
    def display_value(self, vl):
        # if this function raises an exception, it gets masked.
        # this is a bug.
        if not vl:
            return None
        if isinstance(vl, PreviousMenu):
            return '<-- Back'
        elif isinstance(vl, NewMenu.NewMenu):
            return ('%s -->' % self.safe_string(self.value.name))
        elif isinstance(vl, NewMenu.MenuItem):
            return self.safe_string(self.value.getText())
        else:
            return self.safe_string(str(self.value))


    #@-others
#@+node:ekr.20170428084208.272: ** class wgMenuListWithSortCuts
class wgMenuListWithSortCuts(multiline.MultiLineActionWithShortcuts):
    _contained_widgets = wgMenuLine
    #@+others
    #@+node:ekr.20170428084208.273: *3* __init__
    def __init__(self, screen,  allow_filtering=False, *args, **keywords):
        return super(wgMenuListWithSortCuts, self).__init__(screen, allow_filtering=allow_filtering, *args, **keywords)

    #def actionHighlighted(self, act_on_this, key_press):
    #    if isinstance(act_on_this, MenuItem):
    #        return act_on_this.do()
    #    else:
    #        return act_on_this
    #@+node:ekr.20170428084208.274: *3* actionHighlighted
    def actionHighlighted(self, act_on_this, key_press):
        return self.h_select_exit(key_press)

    #@+node:ekr.20170428084208.275: *3* display_value
    def display_value(self, vl):
        return vl

    #@-others
#@+node:ekr.20170428084208.276: ** class MenuDisplayScreen
class MenuDisplayScreen(Form.Form):
    #@+others
    #@+node:ekr.20170428084208.277: *3* __init__
    def __init__(self, *args, **keywords):
        super(MenuDisplayScreen, self).__init__(*args, **keywords)
        #self._menuListWidget = self.add(multiline.MultiLine, return_exit=True)
        self._menuListWidget = self.add(wgMenuListWithSortCuts, return_exit=True)
        self._menuListWidget.add_handlers({
            ord('q'):       self._menuListWidget.h_exit_down,
            ord('Q'):       self._menuListWidget.h_exit_down,
            ord('x'):       self._menuListWidget.h_select_exit,
            curses.ascii.SP:    self._menuListWidget.h_select_exit,
        })

    #@-others
#@+node:ekr.20170428084208.278: ** class HasMenus
class HasMenus:
    MENU_KEY          = "^X"
    MENU_DISPLAY_TYPE = MenuDisplay
    MENU_WIDTH        = None
    #@+others
    #@+node:ekr.20170428084208.279: *3* initialize_menus
    def initialize_menus(self):
        if self.MENU_WIDTH:
            self._NMDisplay = self.MENU_DISPLAY_TYPE(columns=self.MENU_WIDTH)
        else:
            self._NMDisplay = self.MENU_DISPLAY_TYPE()
        if not hasattr(self, '_NMenuList'):
            self._NMenuList = []
        self._MainMenu  = NewMenu.NewMenu
        self.add_handlers({self.__class__.MENU_KEY: self.root_menu})

    #@+node:ekr.20170428084208.280: *3* new_menu
    def new_menu(self, name=None, *args, **keywords):
        if not hasattr(self, '_NMenuList'):
            self._NMenuList = []
        _mnu = NewMenu.NewMenu(name=name, *args, **keywords)
        self._NMenuList.append(_mnu)
        return weakref.proxy(_mnu)

    #@+node:ekr.20170428084208.281: *3* add_menu
    def add_menu(self, *args, **keywords):
        return self.new_menu(*args, **keywords)

    #@+node:ekr.20170428084208.282: *3* root_menu
    def root_menu(self, *args):
        if len(self._NMenuList) == 1:
            self._NMDisplay.setMenu(self._NMenuList[0])
            self._NMDisplay.edit()
        else:
            _root_menu = NewMenu.NewMenu(name="Menus")
            for mnu in self._NMenuList:
                _root_menu.addSubmenu(mnu)
            self._NMDisplay.setMenu(_root_menu)
            self._NMDisplay.edit()
        self.DISPLAY()

    #@+node:ekr.20170428084208.283: *3* use_existing_menu
    def use_existing_menu(self, _mnu):
        if not hasattr(self, '_NMenuList'):
            self._NMenuList = []
        self._NMenuList.append(_mnu)
        return weakref.proxy(_mnu)


    #@+node:ekr.20170428084208.284: *3* popup_menu
    def popup_menu(self, menu):
        self._NMDisplay.setMenu(menu)
        self._NMDisplay.edit()




    #@-others
#@-others
#@@language python
#@@tabwidth -4
#@-leo

#@+leo-ver=5-thin
#@+node:ekr.20170428084208.253: * @file ../external/npyscreen/wgNMenuDisplay.py
#!/usr/bin/env python
# encoding: utf-8

#@+others
#@+node:ekr.20170428084208.254: ** Declarations
from . import muNewMenu    as NewMenu
from . import fmForm       as Form
from . import wgmultiline  as multiline
from . import wgannotatetextbox
# from . import utilNotify
import weakref
import curses

#@+node:ekr.20170428084208.255: ** class MenuViewerController
class MenuViewerController:
    #@+others
    #@+node:ekr.20170428084208.256: *3* MenuViewerController.__init__
    def __init__(self, menu=None):
        self.setMenu(menu)
        self.create()
        self._menuStack = []
        self._editing = False

    #@+node:ekr.20170428084208.257: *3* create
    def create(self):
        pass

    #@+node:ekr.20170428084208.258: *3* setMenu
    def setMenu(self, mnu):
        self._menuStack = []
        self._setMenuWithoutResettingStack(mnu)

    #@+node:ekr.20170428084208.259: *3* _setMenuWithoutResettingStack
    def _setMenuWithoutResettingStack(self, mnu):
        self._menu = mnu
        self._DisplayArea._menuListWidget.value = None

    #@+node:ekr.20170428084208.260: *3* _goToSubmenu
    def _goToSubmenu(self, mnu):
        self._menuStack.append(self._menu)
        self._menu = mnu

    #@+node:ekr.20170428084208.261: *3* _returnToPrevious
    def _returnToPrevious(self):
        self._menu = self._menuStack.pop()


    #@+node:ekr.20170428084208.262: *3* MenuViewerController._executeSelection
    def _executeSelection(self, sel):
        self._editing = False
        return sel()

    #@+node:ekr.20170428084208.263: *3* MenuViewerController.edit
    def edit(self):
        try:
            if self._menu is None:
                raise ValueError("No Menu Set")
        except AttributeError:
            raise ValueError("No Menu Set")
        self._editing = True
        while self._editing:
            if self._menu is not None:
                self._DisplayArea.name = self._menu.name
            if hasattr(self._menu, 'do_pre_display_function'):
                self._menu.do_pre_display_function()
            self._DisplayArea.display()
            self._DisplayArea._menuListWidget.value = None
            self._DisplayArea._menuListWidget.cursor_line = 0
            _menulines = []
            _actionsToTake = []
            if len(self._menuStack) > 0:
                _menulines.append(PreviousMenu())
                # _returnToPreviousSet = True
                _actionsToTake.append((self._returnToPrevious, ))
            # else:
                # _returnToPreviousSet = False

            for itm in self._menu.getItemObjects():
                if isinstance(itm, NewMenu.MenuItem):
                    _menulines.append(itm)
                    _actionsToTake.append((self._executeSelection, itm.do))
                elif isinstance(itm, NewMenu.NewMenu):
                    _menulines.append(itm)
                    _actionsToTake.append((self._goToSubmenu, itm))
                else:
                    raise ValueError("menu %s contains objects I don't know how to handle." % self._menu.name)


            self._DisplayArea._menuListWidget.values = _menulines
            self._DisplayArea.display()
            self._DisplayArea._menuListWidget.edit()
            _vlu = self._DisplayArea._menuListWidget.value
            if _vlu is None:
                self.editing = False
                return None
            try:
                _fctn = _actionsToTake[_vlu][0]
                _args = _actionsToTake[_vlu][1:]
            except IndexError:
                try:
                    _fctn = _actionsToTake[_vlu]
                    _args = []
                except IndexError:
                    # Menu must be empty.
                    return False
            _return_value = _fctn(*_args)

        return _return_value


    #@-others
#@+node:ekr.20170428084208.264: ** class PreviousMenu
class PreviousMenu(NewMenu.NewMenu):
    pass


#@+node:ekr.20170428084208.265: ** class MenuDisplay
class MenuDisplay(MenuViewerController):
    #@+others
    #@+node:ekr.20170428084208.266: *3* __init__
    def __init__(self, color='CONTROL', lines=15, columns=39, show_atx=5, show_aty=2, *args, **keywords):
        self._DisplayArea = MenuDisplayScreen(lines=lines,
                                    columns=columns,
                                    show_atx=show_atx,
                                    show_aty=show_aty,
                                    color=color)
        super(MenuDisplay, self).__init__(*args, **keywords)

    #@-others
#@+node:ekr.20170428084208.267: ** class MenuDisplayFullScreen
class MenuDisplayFullScreen(MenuViewerController):
    #@+others
    #@+node:ekr.20170428084208.268: *3* __init__
    def __init__(self, *args, **keywords):
        self._DisplayArea = MenuDisplayScreen()
        super(MenuDisplayFullScreen, self).__init__(*args, **keywords)



    #@-others
#@+node:ekr.20170428084208.269: ** class wgMenuLine
class wgMenuLine(wgannotatetextbox.AnnotateTextboxBaseRight):
    ANNOTATE_WIDTH = 3
    #@+others
    #@+node:ekr.20170428084208.270: *3* getAnnotationAndColor
    def getAnnotationAndColor(self,):
        try:
            if self.value.shortcut:
                return (self.safe_string(self.value.shortcut), 'LABEL')
            else:
                return ('', 'LABEL')
        except AttributeError:
            return ('', 'LABEL')

    #@+node:ekr.20170428084208.271: *3* display_value
    def display_value(self, vl):
        # if this function raises an exception, it gets masked.
        # this is a bug.
        if not vl:
            return None
        if isinstance(vl, PreviousMenu):
            return '<-- Back'
        elif isinstance(vl, NewMenu.NewMenu):
            return ('%s -->' % self.safe_string(self.value.name))
        elif isinstance(vl, NewMenu.MenuItem):
            return self.safe_string(self.value.getText())
        else:
            return self.safe_string(str(self.value))


    #@-others
#@+node:ekr.20170428084208.272: ** class wgMenuListWithSortCuts
class wgMenuListWithSortCuts(multiline.MultiLineActionWithShortcuts):
    _contained_widgets = wgMenuLine
    #@+others
    #@+node:ekr.20170428084208.273: *3* __init__
    def __init__(self, screen,  allow_filtering=False, *args, **keywords):
        return super(wgMenuListWithSortCuts, self).__init__(screen, allow_filtering=allow_filtering, *args, **keywords)

    #def actionHighlighted(self, act_on_this, key_press):
    #    if isinstance(act_on_this, MenuItem):
    #        return act_on_this.do()
    #    else:
    #        return act_on_this
    #@+node:ekr.20170428084208.274: *3* actionHighlighted
    def actionHighlighted(self, act_on_this, key_press):
        return self.h_select_exit(key_press)

    #@+node:ekr.20170428084208.275: *3* display_value
    def display_value(self, vl):
        return vl

    #@-others
#@+node:ekr.20170428084208.276: ** class MenuDisplayScreen
class MenuDisplayScreen(Form.Form):
    #@+others
    #@+node:ekr.20170428084208.277: *3* __init__
    def __init__(self, *args, **keywords):
        super(MenuDisplayScreen, self).__init__(*args, **keywords)
        #self._menuListWidget = self.add(multiline.MultiLine, return_exit=True)
        self._menuListWidget = self.add(wgMenuListWithSortCuts, return_exit=True)
        self._menuListWidget.add_handlers({
            ord('q'):       self._menuListWidget.h_exit_down,
            ord('Q'):       self._menuListWidget.h_exit_down,
            ord('x'):       self._menuListWidget.h_select_exit,
            curses.ascii.SP:    self._menuListWidget.h_select_exit,
        })

    #@-others
#@+node:ekr.20170428084208.278: ** class HasMenus
class HasMenus:
    MENU_KEY          = "^X"
    MENU_DISPLAY_TYPE = MenuDisplay
    MENU_WIDTH        = None
    #@+others
    #@+node:ekr.20170428084208.279: *3* initialize_menus
    def initialize_menus(self):
        if self.MENU_WIDTH:
            self._NMDisplay = self.MENU_DISPLAY_TYPE(columns=self.MENU_WIDTH)
        else:
            self._NMDisplay = self.MENU_DISPLAY_TYPE()
        if not hasattr(self, '_NMenuList'):
            self._NMenuList = []
        self._MainMenu  = NewMenu.NewMenu
        self.add_handlers({self.__class__.MENU_KEY: self.root_menu})

    #@+node:ekr.20170428084208.280: *3* new_menu
    def new_menu(self, name=None, *args, **keywords):
        if not hasattr(self, '_NMenuList'):
            self._NMenuList = []
        _mnu = NewMenu.NewMenu(name=name, *args, **keywords)
        self._NMenuList.append(_mnu)
        return weakref.proxy(_mnu)

    #@+node:ekr.20170428084208.281: *3* add_menu
    def add_menu(self, *args, **keywords):
        return self.new_menu(*args, **keywords)

    #@+node:ekr.20170428084208.282: *3* root_menu
    def root_menu(self, *args):
        if len(self._NMenuList) == 1:
            self._NMDisplay.setMenu(self._NMenuList[0])
            self._NMDisplay.edit()
        else:
            _root_menu = NewMenu.NewMenu(name="Menus")
            for mnu in self._NMenuList:
                _root_menu.addSubmenu(mnu)
            self._NMDisplay.setMenu(_root_menu)
            self._NMDisplay.edit()
        self.DISPLAY()

    #@+node:ekr.20170428084208.283: *3* use_existing_menu
    def use_existing_menu(self, _mnu):
        if not hasattr(self, '_NMenuList'):
            self._NMenuList = []
        self._NMenuList.append(_mnu)
        return weakref.proxy(_mnu)


    #@+node:ekr.20170428084208.284: *3* popup_menu
    def popup_menu(self, menu):
        self._NMDisplay.setMenu(menu)
        self._NMDisplay.edit()




    #@-others
#@-others
#@@language python
#@@tabwidth -4
#@-leo

#@+leo-ver=5-thin #@+node:ekr.20170428084208.253: * @file ../external/npyscreen/wgNMenuDisplay.py #!/usr/bin/env python # encoding: utf-8 #@+others #@+node:ekr.20170428084208.254: ** Declarations # from . import utilNotify #@+node:ekr.20170428084208.255: ** class MenuViewerController #@+others #@+node:ekr.20170428084208.256: *3* MenuViewerController.__init__ #@+node:ekr.20170428084208.257: *3* create #@+node:ekr.20170428084208.258: *3* setMenu #@+node:ekr.20170428084208.259: *3* _setMenuWithoutResettingStack #@+node:ekr.20170428084208.260: *3* _goToSubmenu #@+node:ekr.20170428084208.261: *3* _returnToPrevious #@+node:ekr.20170428084208.262: *3* MenuViewerController._executeSelection #@+node:ekr.20170428084208.263: *3* MenuViewerController.edit # _returnToPreviousSet = True # else: # _returnToPreviousSet = False # Menu must be empty. #@-others #@+node:ekr.20170428084208.264: ** class PreviousMenu #@+node:ekr.20170428084208.265: ** class MenuDisplay #@+others #@+node:ekr.20170428084208.266: *3* __init__ #@-others #@+node:ekr.20170428084208.267: ** class MenuDisplayFullScreen #@+others #@+node:ekr.20170428084208.268: *3* __init__ #@-others #@+node:ekr.20170428084208.269: ** class wgMenuLine #@+others #@+node:ekr.20170428084208.270: *3* getAnnotationAndColor #@+node:ekr.20170428084208.271: *3* display_value # if this function raises an exception, it gets masked. # this is a bug. #@-others #@+node:ekr.20170428084208.272: ** class wgMenuListWithSortCuts #@+others #@+node:ekr.20170428084208.273: *3* __init__ #def actionHighlighted(self, act_on_this, key_press): #    if isinstance(act_on_this, MenuItem): #        return act_on_this.do() #    else: #        return act_on_this #@+node:ekr.20170428084208.274: *3* actionHighlighted #@+node:ekr.20170428084208.275: *3* display_value #@-others #@+node:ekr.20170428084208.276: ** class MenuDisplayScreen #@+others #@+node:ekr.20170428084208.277: *3* __init__ #self._menuListWidget = self.add(multiline.MultiLine, return_exit=True) #@-others #@+node:ekr.20170428084208.278: ** class HasMenus #@+others #@+node:ekr.20170428084208.279: *3* initialize_menus #@+node:ekr.20170428084208.280: *3* new_menu #@+node:ekr.20170428084208.281: *3* add_menu #@+node:ekr.20170428084208.282: *3* root_menu #@+node:ekr.20170428084208.283: *3* use_existing_menu #@+node:ekr.20170428084208.284: *3* popup_menu #@-others #@-others #@@language python #@@tabwidth -4 #@-leo