Thomas Martitz

Thanks for the list! I think I'll do some of these that I'd consider no-brainers but others are more or less debatable. E.g. I clearly disagree on virtualspace but msgwin_orientation...

The following ones are already in session.conf (position_* with #3003, current_page already now). Did you compile the right branch? ``` yes position_find_x yes position_find_y yes position_replace_x yes position_replace_y yes position_fif_x...

Regarding plugins, I would consider all of them to be session prefs. `active_plugins` and `custom_plugin_path` contain local paths, thus they are not suitable for sharing between different machines. `load_plugins` is...

Anything below tools is system dependent. On my work machine I might be forced to Ubuntu while on my laptop I'm free to use KDE, or I cannot install my...

That's the point. On a kde "Konsole" is more appropriate, and thus it's probably that a user uses gnome-terminal on machine A and konsole on machine B.

Right, I was refering to the default. xterm is not a great default. Unfortunately, there doesn't seem to be a XDG or freedesktop standard for "default terminal application" so I...

Heh, should read the comments completely before looking at the code. So this needs a rebase and then we're back in the green, right?

Yes, see the comment above :-)

I support this, and looking at the relatively minor modifications, I don't see this as a plugin. Instead, I would rather see an three-way option (top, bottom or dialog). Search...

> If its on top it should be part of the toolbar (where there already is a simplified search box) and so it can be put on the menu line...