- added missing icons for back/forward
- trying to improve behavior or find, search&replace
- fixed tool tips of buttons
- Ctrl-R, Ctrl+Shift+R for replace and "replace all"
Also: clip and fill dialog now display layer names from
the layer view. Fixed geometry of fill dialog.
Hope I got all places where the layer selection box was
configured as adjust size = on first show.
Problem was that PyQt generates spontaneous Python events
that do not originate from KLayout itself. This made the
IDE detect a stop request and the application crashed.
This may happen when painting triggers some action that itself
triggers progress reporter (which paints itself).
The solution consists of blocking process_events during painting.
$KLAYOUT_HOME can now be empty which has the same effect
than setting it to /dev/null - no home folder is present and
no packages will be searched there.
$KLAYOUT_PATH can be empty which makes KLayout not choose
the installation folder as the default path location as before.
Goal is to support "*!" which is a variant of multiplication
without the commutative nature.
The refactoring yields a more consistent handling of
Python specializations. Now this happens when the methods
are collected, rather than later. This way, specific behavior
for identically named synonyms can be implemented for example.
This is the case for the "*" operator in Trans which is partially
commutative and partially not.
1. Provide a menu icon in SVG (24x24px and 16x16px for later use elsewhere)
2. Proposing a solution based on QTabBar again
- Rationale: the QTabWidget is intended as container for widgets but
in our case it is not (the ViewStack will handle this). I am worried
about the implications, specifically as there are widgets added during
insertTab which are also added to the view stack container.
Apart from that the visual effect is somewhat ugly.
- The menu button is not part of the EnhancedTabBar as it does not
provide a corner widget. But it is available as "visually detached"
sub-widget and the main window can build a HBoxLayout for it.
3. Correspondingly renaming EnhancedTabWidget to EnhancedTabBar
4. I ported the "close all" and "close all except" feature from the
macro editor's tabs to the view tab bar as I think this fits nicely
into this enhancement.