package com.jediterm.terminal.ui.settings;
import com.jediterm.terminal.TextStyle;
import com.jediterm.terminal.emulator.ColorPalette;
import java.awt.*;
public interface UserSettingsProvider {
ColorPalette getTerminalColorPalette();
Font getTerminalFont();
float getTerminalFontSize();
float getLineSpace();
TextStyle getDefaultStyle();
TextStyle getSelectionColor();
boolean useInverseSelectionColor();
boolean copyOnSelect();
boolean pasteOnMiddleMouseClick();
boolean emulateX11CopyPaste();
boolean useAntialiasing();
boolean audibleBell();
boolean enableMouseReporting();
int caretBlinkingMs();
boolean scrollToBottomOnTyping();
boolean DECCompatibilityMode();
}