UI: add support to "pin" menus, i.e., turn them into a floating toolboxes
This spares us the need of explicit toolbar in the UI and gives the
user the freedom of turning every menu into always-visible toolbar
is it suits her (actual) need. This idea is taken from good old
NeXTstep UI.
For now, this is only supported for "Exec" menu, but the support is
generic so it would work any menu.
#
# DO NOT EDIT
#
# make uses this file (Makefile) only, if there is no
# file named "makefile" (lower-case m) in the same directory.
# My only task is to generate the real makefile and call make again.
# Thereafter, I am no longer used and needed.
#
# MACOSX caveat:
# as filenames are not case sensitive (in a default setup),
# we cannot use the above trick. Therefore, this file is now named
# "Makefile.init", and you have to execute "make -f Makefile.init" to
# get the initial makefile. This is now also done by the toplevel CONFIG
# script.
.PHONY: run
run: makefile
$(MAKE) -f makefile
#only needed for the definition of $(TOP)
include Make.proto
makefile: mf
mf:
$(TOP)/rules/stmkmf